diff options
Diffstat (limited to 'patchsets/motif/2.2.3/07_all_popup_timeout.patch')
| -rw-r--r-- | patchsets/motif/2.2.3/07_all_popup_timeout.patch | 12 |
1 files changed, 0 insertions, 12 deletions
diff --git a/patchsets/motif/2.2.3/07_all_popup_timeout.patch b/patchsets/motif/2.2.3/07_all_popup_timeout.patch deleted file mode 100644 index 7cd45b3..0000000 --- a/patchsets/motif/2.2.3/07_all_popup_timeout.patch +++ /dev/null @@ -1,12 +0,0 @@ ---- openMotif-2.2.3/lib/Xm/MenuUtil.c.popup_timeout -+++ openMotif-2.2.3/lib/Xm/MenuUtil.c -@@ -156,6 +156,9 @@ - cursor, time)) == GrabSuccess) - break; - -+ if (status == GrabInvalidTime) -+ time = CurrentTime; -+ - XmeMicroSleep(1000); - } - if (status != GrabSuccess) |