workspaceview: close workspaceview if focus moves out

This commit is contained in:
Tom Beckmann 2012-11-01 19:27:59 +01:00
parent bb01cbb89f
commit 8b2d9a431e

View File

@ -237,6 +237,11 @@ namespace Gala
}
}
public override void key_focus_out ()
{
hide ();
}
public override bool key_press_event (Clutter.KeyEvent event)
{
var display = screen.get_display ();