mirror of
https://github.com/gryf/wmaker.git
synced 2025-12-19 20:38:08 +01:00
Mod+Wheel Window Resize
This patch adds the ability to resize windows with the mouse wheel while holding the Mod key. This currently ignores wWindowConstrainSize until I can figure out a way to repeatably resize windows with fixed size increments (like xterm) using this method. This also adds a slider to WPrefs to choose the increment with which the wheel will resize a window.
This commit is contained in:
committed by
Carlos R. Mafra
parent
781b663341
commit
a063338175
@@ -468,6 +468,8 @@ WDefaultEntry optionList[] = {
|
||||
&wPreferences.help_balloon, getBool, NULL},
|
||||
{"EdgeResistance", "30", NULL,
|
||||
&wPreferences.edge_resistance, getInt, NULL},
|
||||
{"ResizeIncrement", "32", NULL,
|
||||
&wPreferences.resize_increment, getInt, NULL},
|
||||
{"Attraction", "NO", NULL,
|
||||
&wPreferences.attract, getBool, NULL},
|
||||
{"DisableBlinking", "NO", NULL,
|
||||
|
||||
Reference in New Issue
Block a user