Enable pausing/unpausing the log viewer

This commit is contained in:
Michael Gratton 2019-04-07 16:11:26 +10:00 committed by Michael James Gratton
parent 584ead9eb8
commit ccde37c20d
2 changed files with 72 additions and 16 deletions

View file

@ -23,6 +23,23 @@
<property name="visible">True</property>
<property name="can_focus">False</property>
<property name="show_close_button">True</property>
<child>
<object class="GtkToggleButton" id="play_button">
<property name="visible">True</property>
<property name="can_focus">True</property>
<property name="receives_default">True</property>
<property name="tooltip_text" translatable="yes" comments="Tooltip for inspector button">Togggle appending new log entries</property>
<property name="active">True</property>
<signal name="toggled" handler="on_logs_play_toggled" swapped="no"/>
<child>
<object class="GtkImage">
<property name="visible">True</property>
<property name="can_focus">False</property>
<property name="icon_name">media-playback-start-symbolic</property>
</object>
</child>
</object>
</child>
<child>
<object class="GtkButton" id="search_button">
<property name="visible">True</property>
@ -38,6 +55,9 @@
</object>
</child>
</object>
<packing>
<property name="position">1</property>
</packing>
</child>
<child type="title">
<object class="GtkStackSwitcher">