blob: a5867b4951606ce7f3ae8352e5f7b07b71d10846 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
|
diff -Nur original/gtk/window-decorator/gtk-window-decorator.c modified/gtk/window-decorator/gtk-window-decorator.c
--- original/gtk/window-decorator/gtk-window-decorator.c 2019-11-27 13:24:31.000000000 +0000
+++ modified/gtk/window-decorator/gtk-window-decorator.c 2020-05-17 00:28:11.586617947 +0100
@@ -122,7 +122,7 @@
XRenderPictFormat *xformat_rgba;
-const gchar * window_type_frames[WINDOW_TYPE_FRAMES_NUM] = {
+const gchar * __attribute__((__common__))window_type_frames[WINDOW_TYPE_FRAMES_NUM] = {
"normal", "modal_dialog", "dialog", "menu", "utility"
};
diff -Nur original/gtk/window-decorator/gtk-window-decorator.h modified/gtk/window-decorator/gtk-window-decorator.h
--- original/gtk/window-decorator/gtk-window-decorator.h 2019-11-27 13:24:31.000000000 +0000
+++ modified/gtk/window-decorator/gtk-window-decorator.h 2020-05-17 00:27:21.383286282 +0100
@@ -272,7 +272,7 @@
} default_frame_references_t;
extern default_frame_references_t default_frames[WINDOW_TYPE_FRAMES_NUM * 2];
-const gchar * window_type_frames[WINDOW_TYPE_FRAMES_NUM];
+const gchar * __attribute__((__common__))window_type_frames[WINDOW_TYPE_FRAMES_NUM];
extern char *program_name;
|