Re: [PATCH 01/13] wmaker: add script to check the call-back function used when loading configuration

2015-05-10 Thread Doug Torrance
On 05/08/2015 12:15 PM, Christophe CURIS wrote: Because the C compiler cannot check the consistency between the type of the variable being pointed to, and the type expected by the call-back function that is used to parse and store the value from the configuration file, there is a risk of

[PATCH 0/9] Fixes and improvements for GNOME applications

2015-05-10 Thread Christophe CURIS
Hello, This series of patchs is improving a few fixes in the Window Inspector which should help forcing GNOME application to behave correctly under Window Maker. This have been reported by many people; it may also (or may not) improve the situation with some GNUstep panels that was reported by

[PATCH 1/9] wmaker: moved the list of Window Attributes into an array, for the Window Inspector

2015-05-10 Thread Christophe CURIS
The Window Inspector is used to let user change the list of attributes for a window. This list of attributes was defined through many hard-coded things; by defining an array with everything at the beginning of the file it is easier to maintain (the code is simpler because it is more generic) and

[PATCH 2/9] wmaker: moved the list of Advanced Options into an array, for the Window Inspector

2015-05-10 Thread Christophe CURIS
The Window Inspector is used to let user change a list of advanced options for a window. This list was defined through many hard-coded things; by defining an array with everything at the beginning of the file it is easier to maintain (the code is simpler because it is more generic) and to make it

[PATCH 4/9] wmaker: fix misuse of 'user_flags' instead of 'client_flags' for window attributes

2015-05-10 Thread Christophe CURIS
The structure containing the information on windows contains 2 sets of attributes, client_flags which contains those asked by the application through Hints (like MWM Hints and others) and user_flags which was defined to allow the user to override them. Unfortunately many places of the code was

[PATCH 6/9] WINGs: create a new type of Tri-State Switch Button (to doc)

2015-05-10 Thread Christophe CURIS
There are some times when we need a Switch Button (aka CheckBox) with more than 2 states, generally to express check/uncheck/leave-as-is. This patch extends the Button widget to support the new WBTTriState type, similar to the existing WBTSwitch except it supports a 3rd state which is reported to

[PATCH 3/9] wmaker: moved the list of Application Attributes into an array, for the Window Inspector

2015-05-10 Thread Christophe CURIS
The Window Inspector is used to let user change a list of advanced options for all the windows of an application. This list was defined through many hard-coded things; by defining an array with everything at the beginning of the file it is easier to maintain (the code is simpler because it is more

[PATCH 7/9] wmaker: fix clearing of window attribute that was not saved properly

2015-05-10 Thread Christophe CURIS
As reported by Nerijus Baliunas, there was a problem when unchecking an attribute in the Window Inspector and saving it. The original code was meant to save an attribute that is being checked by user, but not one that is explicitly unchecked, which means than although it looked ok when using the

[PATCH 8/9] doc: describe the GNOME application issue in the FAQ

2015-05-10 Thread Christophe CURIS
Now that Window Maker have been fixed to allow the user to properly control and save the title bar/resize bar/other decoration settings on the window, describe the problem reported (first) by Nerijus Baliunas, so more people may find the answer. Signed-off-by: Christophe CURIS

[PATCH 9/9] Add a configuration option to ignore Decoration Hints from GTK-based application

2015-05-10 Thread Christophe CURIS
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