← Back to branch summary

~jon-hill/spud/mac_port

« back to all changes in this revision

Viewing changes to diamond/gui/gui.glade

  • Committer: Fraser Waters
  • Date: 2011-08-22 17:22:47 UTC
  • mto: This revision was merged to the branch mainline in revision 457.
  • Revision ID: fraser.waters08@imperial.ac.uk-20110822172247-g5cx3yz4o1pl0bx3
Mega commit, working version of diff

Show diffs side-by-side

added added

removed removed

Lines of Context:
diamond/gui/gui.glade
131
131
                        <signal name="activate" handler="on_paste"/>
132
132
                        <accelerator key="V" signal="activate" modifiers="GDK_CONTROL_MASK"/>
133
133
                      </widget>
134
 
                    </child>
 
134
                    </child> 
135
135
                    <child>
136
136
                      <widget class="GtkMenuItem" id="menuitemGroup">
137
137
                        <property name="visible">True</property>
221
221
                  <widget class="GtkMenu" id="menu4">
222
222
                    <property name="visible">True</property>
223
223
                    <child>
 
224
                      <widget class="GtkMenuItem" id="menuitemDiff">
 
225
                        <property name="visible">True</property>
 
226
                        <property name="label" translatable="yes">Diff</property>
 
227
                        <signal name="activate" handler="on_diff"/>
 
228
                      </widget>
 
229
                    </child>
 
230
                    <child>
224
231
                      <widget class="GtkCheckMenuItem" id="display_properties">
225
232
                        <property name="visible">True</property>
226
233
                        <property name="tooltip" translatable="yes">Display the option properties on the right hand side of the main window.</property>