New option for moving mouse pointer along with half-maximized windows.

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

@@ -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" }
 

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 */

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,