From: Arnout E. <rab...@us...> - 2012-07-29 08:07:04
|
This is an automated email from the git hooks/post-receive script. It was generated because a ref change was pushed to the repository containing the project "notion window manager core". The branch, master has been updated via ce12b9efd061bdf1ed55b2fb13bc8c3796dce59c (commit) via a58082150b12314456302b44dd5dea7b7a1b1b4b (commit) from ccaa694c7f7349ffe3b712b58fe40db6426d3cf1 (commit) Those revisions listed above that are new to this repository have not appeared on any other notification email; so we list those revisions in full, below. - Log ----------------------------------------------------------------- commit ce12b9efd061bdf1ed55b2fb13bc8c3796dce59c Merge: a580821 ccaa694 Author: Arnout <arn...@bz...> Date: Sun Jul 29 10:06:39 2012 +0200 Merge branch 'master' of ssh://notion.git.sourceforge.net/gitroot/notion/notion commit a58082150b12314456302b44dd5dea7b7a1b1b4b Author: Arnout <arn...@bz...> Date: Sun Jul 29 10:02:54 2012 +0200 Use META+(Shift+)scrollwheel to switch windows Works nicely for the common cases where the mouse pointer is in the focused window. When the mouse pointer is not in the focussed window, I'm not entirely sure what behavior is desirable. Right now it scrolls through the tabs of the frame with the mouse pointer for horizontal scrolling, and behaves somewhat erratically for vertical scrolling. ----------------------------------------------------------------------- Summary of changes: etc/cfg_notioncore.lua | 3 +++ etc/cfg_tiling.lua | 5 ++++- 2 files changed, 7 insertions(+), 1 deletions(-) hooks/post-receive -- notion window manager core |