1 # This patchfile was courtesy of the Debian team. Thanks!
7 # -DGTK_DISABLE_DEPRECATED does not work yet
8 -CFLAGS += -DG_DISABLE_DEPRECATED -DGDK_DISABLE_DEPRECATED -DGTK_DISABLE_DEPRECATED
9 +CFLAGS += -DG_DISABLE_DEPRECATED -DGDK_DISABLE_DEPRECATED
12 $(CC) $(CFLAGS) $(INCS) -c $<
16 printf(" --height <number>\n");
17 printf(" --SetDockType <true|false>\n");
18 printf(" --SetPartialStrut <true|false>\n");
19 - printf(" --RoundCorners <true|false>\n");
20 printf(" --transparent <true|false>\n");
21 printf(" --alpha <number>\n");
22 printf(" --tint <int>\n");