[dconf-editor/gnome-3-22] Add comment for previous change.

[Arnaud Bonatti <arnaudb src gnome org>]

commit 404daa350d560ff2de808ea0debd82289d2ef2c0
Author: Arnaud Bonatti <arnaud bonatti gmail com>
Date:   Wed Jan 11 00:54:12 2017 +0100

    Add comment for previous change.

 editor/registry-view.ui |    2 +-
 1 files changed, 1 insertions(+), 1 deletions(-)
---
diff --git a/editor/registry-view.ui b/editor/registry-view.ui
index 2eaa7b0..dcfaef1 100644
--- a/editor/registry-view.ui
+++ b/editor/registry-view.ui
@@ -14,7 +14,7 @@
       </object>
     </child>
     <child>
-      <object class="GtkRevealer">
+      <object class="GtkRevealer"> <!-- Workaround for the gtk+ bug: 
https://bugzilla.gnome.org/show_bug.cgi?id=724096 -->
         <property name="visible">True</property>
         <property name="reveal-child" bind-source="search_bar" bind-property="search-mode-enabled" 
bind-flags="bidirectional">False</property>
         <child>