This option might be usable for using keyboard for moving windows
around. This option will enable moving mouse pointer for such windows.
---
WPrefs.app/Expert.c | 3 +++
src/WindowMaker.h | 1 +
src/defaults.c | 2 ++
3 files changed, 6 insertions(+)
diff --git a/WPrefs.app/Expert.c b/WPrefs.app/Expert.c
index 78fd7b3..561f4e3 100644
--- a/WPrefs.app/Expert.c
+++ b/WPrefs.app/Expert.c
@@ -106,6 +106,9 @@ static const struct {
{ N_("Alternative transitions between states for half maximized
windows."),
/* default: */ False, OPTION_WMAKER, "AlternativeHalfMaximized" },
+ { N_("Move mouse pointer with half maximized windows."),
+ /* default: */ False, OPTION_WMAKER, "PointerWithHalfMaxWindows" },
+
{ N_("Open dialogs in the same workspace as their owners."),
/* default: */ False, OPTION_WMAKER, "OpenTransientOnOwnerWorkspace" }
diff --git a/src/WindowMaker.h b/src/WindowMaker.h
index 98fa789..90f1d2b 100644
--- a/src/WindowMaker.h
+++ b/src/WindowMaker.h
@@ -367,6 +367,7 @@ extern struct WPreferences {
char drag_maximized_window; /* behavior when a maximized window
is dragged */
char move_half_max_between_heads; /* move half maximized window
between available heads */
char alt_half_maximize; /* alternative half-maximize feature
behavior */
+ char pointer_with_half_max_windows;
char highlight_active_app; /* show the focused app by
highlighting its icon */
char auto_arrange_icons; /* automagically arrange icons */
diff --git a/src/defaults.c b/src/defaults.c
index f8cfda6..0ccb82a 100644
--- a/src/defaults.c
+++ b/src/defaults.c
@@ -486,6 +486,8 @@ WDefaultEntry optionList[] = {
&wPreferences.move_half_max_between_heads, getBool, NULL, NULL,
NULL},
{"AlternativeHalfMaximized", "NO", NULL,
&wPreferences.alt_half_maximize, getBool, NULL, NULL, NULL},
+ {"PointerWithHalfMaxWindows", "NO", NULL,
+ &wPreferences.pointer_with_half_max_windows, getBool, NULL, NULL,
NULL},
{"HighlightActiveApp", "YES", NULL,
&wPreferences.highlight_active_app, getBool, NULL, NULL, NULL},
{"AutoArrangeIcons", "NO", NULL,
--
2.10.2
--
To unsubscribe, send mail to [email protected].
