remove event catcher when not needed

ui
Manuel Genovés 2020-03-11 21:08:16 +01:00
parent 7a8d3a8459
commit 4a85f21d35
2 changed files with 4 additions and 3 deletions

View File

@ -1,5 +1,5 @@
<?xml version="1.0" encoding="UTF-8"?>
<!-- Generated with glade 3.22.1 -->
<!-- Generated with glade 3.22.2 -->
<interface>
<requires lib="gtk+" version="3.20"/>
<!-- interface-local-resource-path ../media -->
@ -410,6 +410,7 @@
<property name="height_request">1</property>
<property name="can_focus">False</property>
<property name="valign">start</property>
<property name="visible_window">False</property>
<child>
<placeholder/>
</child>
@ -418,7 +419,6 @@
<child type="overlay">
<object class="GtkEventBox" id="HeaderbarEventbox">
<property name="height_request">60</property>
<property name="visible">True</property>
<property name="can_focus">False</property>
<property name="valign">start</property>
<property name="visible_window">False</property>

View File

@ -568,6 +568,7 @@ class MainWindow(StyledWindow):
def reveal_headerbar_bottombar(self, _widget=None, _data=None):
def __reveal_hb():
self.headerbar_eventbox.hide()
self.headerbar.hb_revealer.set_reveal_child(True)
self.get_style_context().remove_class("focus")
return False
@ -603,7 +604,7 @@ class MainWindow(StyledWindow):
self.bottombar_visible = False
self.headerbar_eventbox.show()
self.buffer_modified_for_status_bar = False
def on_delete_called(self, _widget, _data=None):