all repos — fluxbox @ d7aa526d9275f7c94f0b1ce27464eaf3dae0d78d

custom fork of the fluxbox windowmanager

change default edge snap threshold to 10 pixels
Mark Tiefenbruck mark@fluxbox.org
commit

d7aa526d9275f7c94f0b1ce27464eaf3dae0d78d

parent

68cf3092208830e075c4fe5eddfdcbef3f11596a

1 files changed, 1 insertions(+), 1 deletions(-)

jump to
M src/Screen.ccsrc/Screen.cc

@@ -283,7 +283,7 @@ typing_delay(rm, 0, scrname+".noFocusWhileTypingDelay", altscrname+".NoFocusWhileTypingDelay"),

follow_model(rm, IGNORE_OTHER_WORKSPACES, scrname+".followModel", altscrname+".followModel"), user_follow_model(rm, FOLLOW_ACTIVE_WINDOW, scrname+".userFollowModel", altscrname+".UserFollowModel"), workspaces(rm, 1, scrname+".workspaces", altscrname+".Workspaces"), - edge_snap_threshold(rm, 0, scrname+".edgeSnapThreshold", altscrname+".EdgeSnapThreshold"), + edge_snap_threshold(rm, 10, scrname+".edgeSnapThreshold", altscrname+".EdgeSnapThreshold"), focused_alpha(rm, 255, scrname+".window.focus.alpha", altscrname+".Window.Focus.Alpha"), unfocused_alpha(rm, 255, scrname+".window.unfocus.alpha", altscrname+".Window.Unfocus.Alpha"), menu_alpha(rm, 255, scrname+".menu.alpha", altscrname+".Menu.Alpha"),