window: Add reload button and F5 shortcut

Reloading makes sense for out of memory situations or filesystems that
don't support inotify.
This commit is contained in:
Sophie Herold 2024-07-29 04:59:10 +02:00
parent c3547f82fc
commit 053aa5da7e
6 changed files with 56 additions and 7 deletions

View file

@ -56,13 +56,19 @@
</property>
<child type="bottom">
<object class="GtkButton" id="report">
<property name="label" translatable="yes">Report Issue…</property>
<property name="halign">center</property>
<property name="margin-bottom">24</property>
<style>
<class name="suggested-action" />
<class name="pill" />
</style>
<child>
<object class="AdwButtonContent">
<property name="icon-name">external-link-symbolic</property>
<property name="label" translatable="yes">Report _Issue</property>
<property name="use-underline">true</property>
</object>
</child>
</object>
</child>
</object>