[dconf-editor] Ensure RegistryInfo is cleaned before re-load.

[Arnaud Bonatti <arnaudb src gnome org>]

commit 8b147abcb7fb71231ec12d03131f34f0bc09de77
Author: Arnaud Bonatti <arnaud bonatti gmail com>
Date:   Fri Jul 29 02:48:53 2016 +0200

    Ensure RegistryInfo is cleaned before re-load.

 editor/registry-info.vala |    3 ++-
 1 files changed, 2 insertions(+), 1 deletions(-)
---
diff --git a/editor/registry-info.vala b/editor/registry-info.vala
index c24ce0a..bd4d76f 100644
--- a/editor/registry-info.vala
+++ b/editor/registry-info.vala
@@ -55,8 +55,9 @@ class RegistryInfo : Grid
     \*/
 
     public bool populate_properties_list_box (Key key)
-        requires (erase_button_handler == 0 && revealer_reload_1_handler == 0 && revealer_reload_2_handler 
== 0)
     {
+        clean ();   // for when switching between two keys, for example with a search (maybe also bookmarks)
+
         bool has_schema;
         unowned Variant [] dict_container;
         key.properties.get ("(ba{ss})", out has_schema, out dict_container);