1
0
mirror of https://github.com/gryf/wmaker.git synced 2026-02-01 21:45:45 +01:00

configure: Added option to disable animations

The old behaviour was to expect the user to go modify manually a source
file which is not a great idea because that's typically the kind of things
in charge of the configure script.

Signed-off-by: Christophe CURIS <christophe.curis@free.fr>
This commit is contained in:
Christophe CURIS
2015-05-08 13:19:02 +02:00
committed by Carlos R. Mafra
parent 6ef010d974
commit 0bab67f9be
4 changed files with 18 additions and 4 deletions

View File

@@ -566,6 +566,10 @@ screen size.
@subsection Feature Selection
@table @option
@item --disable-animations
Disable animations permanently, by not compiling the corresponding code into @sc{Window Maker}.
When enabled (the default), you still have a run-time configuration option in @emph{WPrefs}.
@item --disable-mwm-hints
Disable support for Motif's MWM Window Manager hints.
These attributes were introduced by the Motif toolkit to ask for special window appearance requests.