window delete/hide is managed by WMProxy (amend to cb6f16ac)

This commit is contained in:
Robin Gareus 2013-07-07 22:24:15 +02:00
parent 2b0fef5933
commit 07be5beee7
11 changed files with 13 additions and 25 deletions

View file

@ -149,7 +149,7 @@ bool
StepEditor::step_editor_hidden (GdkEventAny*)
{
step_editor_hide ();
return true;
return true; // XXX remember position ?!
}
void