|
@@ -132,6 +132,7 @@ public class ResourceChooser : Gtk.Box
|
|
|
_editor_slide.show_widget(label);
|
|
_editor_slide.show_widget(label);
|
|
|
|
|
|
|
|
this.destroy.connect(on_destroy);
|
|
this.destroy.connect(on_destroy);
|
|
|
|
|
+ this.unmap.connect(on_unmap);
|
|
|
|
|
|
|
|
restart_editor();
|
|
restart_editor();
|
|
|
}
|
|
}
|
|
@@ -187,6 +188,11 @@ public class ResourceChooser : Gtk.Box
|
|
|
stop_editor();
|
|
stop_editor();
|
|
|
}
|
|
}
|
|
|
|
|
|
|
|
|
|
+ private void on_unmap()
|
|
|
|
|
+ {
|
|
|
|
|
+ _filter_entry.text = "";
|
|
|
|
|
+ }
|
|
|
|
|
+
|
|
|
private void start_editor(uint window_xid)
|
|
private void start_editor(uint window_xid)
|
|
|
{
|
|
{
|
|
|
if (window_xid == 0)
|
|
if (window_xid == 0)
|