mirror of
https://github.com/gryf/wmaker.git
synced 2025-12-22 22:28:02 +01:00
Add a configuration option to ignore Decoration Hints from GTK-based application
As reported by Nerijus Baliunas and Paul Jakma, the GNOME application, which use the GTK toolkit, are asking to have no window decoration. This can be solved by editing the window's attributes in Window Maker, but this can be tedious when there are many GNOME application used. This patch adds a configuration option: Window Maker tries to detect for GTK-based windows and in this case ignore the decoration hints that were provided by the application. Suggested-by: Paul Jakma <paul@jakma.org> Signed-off-by: Christophe CURIS <christophe.curis@free.fr>
This commit is contained in:
committed by
Carlos R. Mafra
parent
5ecb96cbf4
commit
ea42641033
@@ -518,6 +518,8 @@ WDefaultEntry optionList[] = {
|
||||
&wPreferences.panel_only_open, getBool, NULL, NULL, NULL},
|
||||
{"MiniPreviewSize", "128", NULL,
|
||||
&wPreferences.minipreview_size, getInt, NULL, NULL, NULL},
|
||||
{"IgnoreGtkHints", "NO", NULL,
|
||||
&wPreferences.ignore_gtk_decoration_hints, getBool, NULL, NULL, NULL},
|
||||
|
||||
/*
|
||||
* Backward Compatibility:
|
||||
|
||||
Reference in New Issue
Block a user