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
|
