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 be01f22c191d2c952eabb348d978d1d06fae367e (commit)
via a4184314e0c5b9b8d77310823d3001ecde2b5ada (commit)
from 82b46dd387516e943f3d0f49ac0062dba9d82593 (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 be01f22c191d2c952eabb348d978d1d06fae367e
Author: Philipp Hartwig <ph...@ph...>
Date: Thu Jan 3 13:11:36 2013 +0100
Only allow removal of last workspace if there are multiple screens
This is a more conservative version of
ca7765688c5532f55281089a66a42b176f7849e5: it preserves the behavior of
Ion3 in case there is a single screen.
But we still want to be able to remove the last workspace from a screen
if there are multiple screens: this is used in the redistribution of
workspaces on detaching and attaching screens.
commit a4184314e0c5b9b8d77310823d3001ecde2b5ada
Author: Philipp Hartwig <ph...@ph...>
Date: Thu Jan 3 12:45:34 2013 +0100
Prevent closing of last screen
In the absence of a screen, Notion seems to be irrecoverably broken and
needs to be restarted.
-----------------------------------------------------------------------
Summary of changes:
ioncore/rootwin.c | 14 ++++++++++++++
ioncore/screen.c | 9 ++-------
2 files changed, 16 insertions(+), 7 deletions(-)
hooks/post-receive
--
notion window manager core
|
