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 e223418845832df9e92fd57ab4eacb830faf7726 (commit)
from 9b0ea895c8651ca34fc8d23fd2dbafb67b9d5008 (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 e223418845832df9e92fd57ab4eacb830faf7726
Author: Dima Kogan <di...@se...>
Date: Fri Apr 4 15:52:42 2014 -0700
Fixed workspace-indicator issue triggered by IntelliJ IDEA
Normally the workspace_indicator_timeout config option creates an indicator with
the name of the current workspace in the corder of the screen. I was observing
an issue where switching workspaces away from an IntelliJ IDEA window causes the
indicator to not be displayed. This was due to logic in notion that removes the
indicator when an NULL or unnamed screen or mplex are focussed. Removing this
logic fixes the issue, and I can find no reason this was needed in the first
place. Things work well without.
-----------------------------------------------------------------------
Summary of changes:
ioncore/screen-notify.c | 1 -
1 files changed, 0 insertions(+), 1 deletions(-)
hooks/post-receive
--
notion window manager core
|
