DocList: Make the GtkRevealer widget of the doc properties panel only visible when switching for the first time to the doc properties panel:

* Make the warnings regarding GtkRevealer size disappear
* Solve the doc list refresh problem on Ubuntu Gnome 16.10

Signed-off-by: Jerome Flesch <[email protected]>

Author: jflesch

src/paperwork/frontend/mainwindow/__init__.py

@@ -3009,6 +3009,8 @@ def switch_leftpane(self, to):
         for (name, revealers) in self.left_revealers.items():
             visible = (to == name)
             for revealer in revealers:
+                if visible:
+                    revealer.set_visible(visible)
                 revealer.set_reveal_child(visible)
 
     def on_search_results_cb(self, search, documents):

src/paperwork/frontend/mainwindow/mainwindow.glade

@@ -565,7 +565,7 @@
 
             <child>
               <object class="GtkRevealer" id="box_left_docproperties_revealer">
-                <property name="visible">True</property>
+                <property name="visible">False</property>
                 <property name="reveal_child">False</property>
                 <property name="transition_duration">333</property>
                 <property name="transition_type">slide-right</property>