diff options
| -rw-r--r-- | x11-toolkits/gai/files/patch-gai:gai-gnome.c | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/x11-toolkits/gai/files/patch-gai:gai-gnome.c b/x11-toolkits/gai/files/patch-gai:gai-gnome.c new file mode 100644 index 000000000000..93ba6607b681 --- /dev/null +++ b/x11-toolkits/gai/files/patch-gai:gai-gnome.c @@ -0,0 +1,12 @@ +--- gai/gai-gnome.c.orig Mon May 10 09:16:17 2004 ++++ gai/gai-gnome.c Mon May 10 09:16:26 2004 +@@ -345,8 +345,8 @@ + static int + gai_gnome_expose(GtkWidget *widget, GdkEventExpose *event, gpointer d) + { +- GAI_ENTER; + static gboolean expose_lock = FALSE; ++ GAI_ENTER; + if(expose_lock){ + GAI_NOTE("Expose lock"); + return FALSE; |