[dconf-editor] Scroll to selected row after a research.

[Arnaud Bonatti <arnaudb src gnome org>]

commit 41054c9bdac0f7eb12dbf923c4765603dfad37c5
Author: Arnaud Bonatti <arnaud bonatti gmail com>
Date:   Sun Aug 7 08:48:56 2016 +0200

    Scroll to selected row after a research.

 editor/registry-view.vala |   20 +++++++++++++++++++-
 1 files changed, 19 insertions(+), 1 deletions(-)
---
diff --git a/editor/registry-view.vala b/editor/registry-view.vala
index b5f3152..9a40409 100644
--- a/editor/registry-view.vala
+++ b/editor/registry-view.vala
@@ -306,6 +306,23 @@ class RegistryView : Grid, PathElement
         get_dconf_window ().update_hamburger_menu ();
     }
 
+    private void scroll_to_selected_row ()
+    {
+        ListBoxRow? row = key_list_box.get_selected_row ();
+        if (row == null)
+            return;
+
+        Allocation list_allocation, row_allocation;
+        stack.get_allocation (out list_allocation);
+        row.get_allocation (out row_allocation);
+        int middle = (int) ((row_allocation.height - list_allocation.height) / 2.0);
+
+        int dest_x, dest_y;
+        if (!row.translate_coordinates (key_list_box, 0, middle, out dest_x, out dest_y))
+            assert_not_reached ();
+        key_list_box.get_adjustment ().set_value (dest_y);
+    }
+
     /*\
     * * Revealer stuff
     \*/
@@ -468,7 +485,8 @@ class RegistryView : Grid, PathElement
                 if (object.name.index_of (search_entry.text) >= 0)
                 {
                     dir_tree_selection.select_iter (iter);
-                    key_list_box.select_row (key_list_box.get_row_at_index (position)); // TODO scroll to 
key in ListBox
+                    key_list_box.select_row (key_list_box.get_row_at_index (position));
+                    scroll_to_selected_row ();
                     show_browse_view (dir.full_name);
                     return;
                 }