Added a way to close the currently open game, to ease transition to multiple games running at once

This commit is contained in:
2012-04-17 01:46:55 -04:00
parent cb0fdcf017
commit 00b65a65df
3 changed files with 30 additions and 16 deletions

View File

@ -40,6 +40,16 @@
<child>
<widget class="GtkMenu" id="game1_menu">
<child>
<widget class="GtkMenuItem" id="close1">
<property name="visible">True</property>
<property name="label" translatable="yes">_Close</property>
<property name="use_underline">True</property>
<signal name="activate" handler="on_game_close" last_modification_time="Tue, 17 Apr 2012 05:44:12 GMT"/>
<accelerator key="W" modifiers="GDK_CONTROL_MASK" signal="activate"/>
</widget>
</child>
<child>
<widget class="GtkImageMenuItem" id="quit">
<property name="visible">True</property>