/[ascend]/trunk/pygtk/interface/glade/ascend.glade
ViewVC logotype

Diff of /trunk/pygtk/interface/glade/ascend.glade

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 320 by johnpye, Thu Feb 23 12:30:40 2006 UTC revision 321 by johnpye, Thu Feb 23 14:14:36 2006 UTC
# Line 60  Line 60 
60                <accelerator key="F5" modifiers="GDK_CONTROL_MASK" signal="activate"/>                <accelerator key="F5" modifiers="GDK_CONTROL_MASK" signal="activate"/>
61    
62                <child internal-child="image">                <child internal-child="image">
63              <widget class="GtkImage" id="image281">              <widget class="GtkImage" id="image365">
64                <property name="visible">True</property>                <property name="visible">True</property>
65                <property name="stock">gtk-refresh</property>                <property name="stock">gtk-refresh</property>
66                <property name="icon_size">1</property>                <property name="icon_size">1</property>
# Line 110  Line 110 
110                <accelerator key="C" modifiers="GDK_CONTROL_MASK" signal="activate"/>                <accelerator key="C" modifiers="GDK_CONTROL_MASK" signal="activate"/>
111    
112                <child internal-child="image">                <child internal-child="image">
113              <widget class="GtkImage" id="image282">              <widget class="GtkImage" id="image366">
114                <property name="visible">True</property>                <property name="visible">True</property>
115                <property name="stock">gtk-copy</property>                <property name="stock">gtk-copy</property>
116                <property name="icon_size">1</property>                <property name="icon_size">1</property>
# Line 138  Line 138 
138                <accelerator key="F" modifiers="GDK_CONTROL_MASK" signal="activate"/>                <accelerator key="F" modifiers="GDK_CONTROL_MASK" signal="activate"/>
139    
140                <child internal-child="image">                <child internal-child="image">
141              <widget class="GtkImage" id="image283">              <widget class="GtkImage" id="image367">
142                <property name="visible">True</property>                <property name="visible">True</property>
143                <property name="pixbuf">locked.png</property>                <property name="pixbuf">locked.png</property>
144                <property name="xalign">0.5</property>                <property name="xalign">0.5</property>
# Line 159  Line 159 
159                <accelerator key="R" modifiers="GDK_CONTROL_MASK" signal="activate"/>                <accelerator key="R" modifiers="GDK_CONTROL_MASK" signal="activate"/>
160    
161                <child internal-child="image">                <child internal-child="image">
162              <widget class="GtkImage" id="image284">              <widget class="GtkImage" id="image368">
163                <property name="visible">True</property>                <property name="visible">True</property>
164                <property name="pixbuf">unlocked.png</property>                <property name="pixbuf">unlocked.png</property>
165                <property name="xalign">0.5</property>                <property name="xalign">0.5</property>
# Line 186  Line 186 
186                <accelerator key="F4" modifiers="0" signal="activate"/>                <accelerator key="F4" modifiers="0" signal="activate"/>
187    
188                <child internal-child="image">                <child internal-child="image">
189              <widget class="GtkImage" id="image285">              <widget class="GtkImage" id="image369">
190                <property name="visible">True</property>                <property name="visible">True</property>
191                <property name="pixbuf">properties.png</property>                <property name="pixbuf">properties.png</property>
192                <property name="xalign">0.5</property>                <property name="xalign">0.5</property>
# Line 220  Line 220 
220                <accelerator key="F9" modifiers="0" signal="activate"/>                <accelerator key="F9" modifiers="0" signal="activate"/>
221    
222                <child internal-child="image">                <child internal-child="image">
223              <widget class="GtkImage" id="image286">              <widget class="GtkImage" id="image370">
224                <property name="visible">True</property>                <property name="visible">True</property>
225                <property name="stock">gtk-media-forward</property>                <property name="stock">gtk-media-forward</property>
226                <property name="icon_size">1</property>                <property name="icon_size">1</property>
# Line 242  Line 242 
242                <accelerator key="F7" modifiers="0" signal="activate"/>                <accelerator key="F7" modifiers="0" signal="activate"/>
243    
244                <child internal-child="image">                <child internal-child="image">
245              <widget class="GtkImage" id="image287">              <widget class="GtkImage" id="image371">
246                <property name="visible">True</property>                <property name="visible">True</property>
247                <property name="stock">gtk-spell-check</property>                <property name="stock">gtk-spell-check</property>
248                <property name="icon_size">1</property>                <property name="icon_size">1</property>
# Line 275  Line 275 
275                <accelerator key="I" modifiers="GDK_CONTROL_MASK | GDK_SHIFT_MASK" signal="activate"/>                <accelerator key="I" modifiers="GDK_CONTROL_MASK | GDK_SHIFT_MASK" signal="activate"/>
276    
277                <child internal-child="image">                <child internal-child="image">
278              <widget class="GtkImage" id="image288">              <widget class="GtkImage" id="image372">
279                <property name="visible">True</property>                <property name="visible">True</property>
280                <property name="pixbuf">incidence.png</property>                <property name="pixbuf">incidence.png</property>
281                <property name="xalign">0.5</property>                <property name="xalign">0.5</property>
# Line 296  Line 296 
296                <accelerator key="D" modifiers="GDK_CONTROL_MASK" signal="activate"/>                <accelerator key="D" modifiers="GDK_CONTROL_MASK" signal="activate"/>
297    
298                <child internal-child="image">                <child internal-child="image">
299              <widget class="GtkImage" id="image289">              <widget class="GtkImage" id="image373">
300                <property name="visible">True</property>                <property name="visible">True</property>
301                <property name="pixbuf">diagnose.svg</property>                <property name="pixbuf">diagnose.svg</property>
302                <property name="xalign">0.5</property>                <property name="xalign">0.5</property>
# Line 323  Line 323 
323                <accelerator key="O" modifiers="GDK_CONTROL_MASK | GDK_SHIFT_MASK" signal="activate"/>                <accelerator key="O" modifiers="GDK_CONTROL_MASK | GDK_SHIFT_MASK" signal="activate"/>
324    
325                <child internal-child="image">                <child internal-child="image">
326              <widget class="GtkImage" id="image290">              <widget class="GtkImage" id="image374">
327                <property name="visible">True</property>                <property name="visible">True</property>
328                <property name="stock">gtk-add</property>                <property name="stock">gtk-add</property>
329                <property name="icon_size">1</property>                <property name="icon_size">1</property>
# Line 345  Line 345 
345                <accelerator key="K" modifiers="GDK_CONTROL_MASK" signal="activate"/>                <accelerator key="K" modifiers="GDK_CONTROL_MASK" signal="activate"/>
346    
347                <child internal-child="image">                <child internal-child="image">
348              <widget class="GtkImage" id="image291">              <widget class="GtkImage" id="image375">
349                <property name="visible">True</property>                <property name="visible">True</property>
350                <property name="stock">gtk-indent</property>                <property name="stock">gtk-indent</property>
351                <property name="icon_size">1</property>                <property name="icon_size">1</property>
# Line 365  Line 365 
365            </child>            </child>
366    
367            <child>            <child>
             <widget class="GtkCheckMenuItem" id="automenu">  
               <property name="visible">True</property>  
               <property name="tooltip" translatable="yes">Solve automatically after values change</property>  
               <property name="label" translatable="yes">_Auto</property>  
               <property name="use_underline">True</property>  
               <property name="active">True</property>  
               <signal name="activate" handler="on_tools_auto_toggle" last_modification_time="Sun, 29 Jan 2006 06:55:49 GMT"/>  
               <accelerator key="A" modifiers="GDK_CONTROL_MASK | GDK_SHIFT_MASK" signal="activate"/>  
             </widget>  
           </child>  
   
           <child>  
368              <widget class="GtkImageMenuItem" id="preferences">              <widget class="GtkImageMenuItem" id="preferences">
369                <property name="visible">True</property>                <property name="visible">True</property>
370                <property name="label" translatable="yes">Solver _Parameters...</property>                <property name="label" translatable="yes">Solver _Parameters...</property>
# Line 385  Line 373 
373                <accelerator key="F11" modifiers="0" signal="activate"/>                <accelerator key="F11" modifiers="0" signal="activate"/>
374    
375                <child internal-child="image">                <child internal-child="image">
376              <widget class="GtkImage" id="image292">              <widget class="GtkImage" id="image376">
377                <property name="visible">True</property>                <property name="visible">True</property>
378                <property name="stock">gtk-preferences</property>                <property name="stock">gtk-preferences</property>
379                <property name="icon_size">1</property>                <property name="icon_size">1</property>
# Line 397  Line 385 
385                </child>                </child>
386              </widget>              </widget>
387            </child>            </child>
388    
389              <child>
390                <widget class="GtkCheckMenuItem" id="automenu">
391                  <property name="visible">True</property>
392                  <property name="tooltip" translatable="yes">Solve automatically after values change</property>
393                  <property name="label" translatable="yes">_Auto-solve</property>
394                  <property name="use_underline">True</property>
395                  <property name="active">True</property>
396                  <signal name="activate" handler="on_tools_auto_toggle" last_modification_time="Sun, 29 Jan 2006 06:55:49 GMT"/>
397                  <accelerator key="A" modifiers="GDK_CONTROL_MASK | GDK_SHIFT_MASK" signal="activate"/>
398                </widget>
399              </child>
400    
401              <child>
402                <widget class="GtkMenuItem" id="solver_monitor">
403                  <property name="visible">True</property>
404                  <property name="label" translatable="yes">Solver _Reporter</property>
405                  <property name="use_underline">True</property>
406    
407                  <child>
408                <widget class="GtkMenu" id="solver_monitor_menu">
409    
410                  <child>
411                    <widget class="GtkCheckMenuItem" id="show_solving_popup">
412                      <property name="visible">True</property>
413                      <property name="label" translatable="yes">Show _Pop-up</property>
414                      <property name="use_underline">True</property>
415                      <property name="active">True</property>
416                      <signal name="activate" handler="on_show_solving_popup_toggle" last_modification_time="Thu, 23 Feb 2006 12:40:46 GMT"/>
417                    </widget>
418                  </child>
419    
420                  <child>
421                    <widget class="GtkCheckMenuItem" id="close_on_converged">
422                      <property name="visible">True</property>
423                      <property name="label" translatable="yes">Close Pop-up on Converged</property>
424                      <property name="use_underline">True</property>
425                      <property name="active">False</property>
426                      <signal name="activate" handler="on_close_on_converged_toggle" last_modification_time="Thu, 23 Feb 2006 12:40:46 GMT"/>
427                    </widget>
428                  </child>
429    
430                  <child>
431                    <widget class="GtkCheckMenuItem" id="close_on_nonconverged">
432                      <property name="visible">True</property>
433                      <property name="label" translatable="yes">Close Pop-up on Non-converged</property>
434                      <property name="use_underline">True</property>
435                      <property name="active">False</property>
436                      <signal name="activate" handler="on_close_on_nonconverged_toggle" last_modification_time="Thu, 23 Feb 2006 14:12:23 GMT"/>
437                    </widget>
438                  </child>
439                </widget>
440                  </child>
441                </widget>
442              </child>
443          </widget>          </widget>
444            </child>            </child>
445          </widget>          </widget>
# Line 419  Line 462 
462                <signal name="activate" handler="on_help_contents_click" last_modification_time="Sun, 29 Jan 2006 06:36:19 GMT"/>                <signal name="activate" handler="on_help_contents_click" last_modification_time="Sun, 29 Jan 2006 06:36:19 GMT"/>
463    
464                <child internal-child="image">                <child internal-child="image">
465              <widget class="GtkImage" id="image293">              <widget class="GtkImage" id="image377">
466                <property name="visible">True</property>                <property name="visible">True</property>
467                <property name="stock">gtk-help</property>                <property name="stock">gtk-help</property>
468                <property name="icon_size">1</property>                <property name="icon_size">1</property>
# Line 4050  Conversion to LyX and other formats: Line 4093  Conversion to LyX and other formats:
4093    
4094  <widget class="GtkDialog" id="solverstatusdialog">  <widget class="GtkDialog" id="solverstatusdialog">
4095    <property name="visible">True</property>    <property name="visible">True</property>
4096    <property name="title" translatable="yes">Solving...</property>    <property name="title" translatable="yes">Solver Status</property>
4097    <property name="type">GTK_WINDOW_TOPLEVEL</property>    <property name="type">GTK_WINDOW_TOPLEVEL</property>
4098    <property name="window_position">GTK_WIN_POS_MOUSE</property>    <property name="window_position">GTK_WIN_POS_MOUSE</property>
4099    <property name="modal">True</property>    <property name="modal">True</property>
4100    <property name="resizable">False</property>    <property name="resizable">False</property>
4101    <property name="destroy_with_parent">False</property>    <property name="destroy_with_parent">False</property>
4102      <property name="icon">ascend.svg</property>
4103    <property name="decorated">True</property>    <property name="decorated">True</property>
4104    <property name="skip_taskbar_hint">True</property>    <property name="skip_taskbar_hint">True</property>
4105    <property name="skip_pager_hint">True</property>    <property name="skip_pager_hint">True</property>

Legend:
Removed from v.320  
changed lines
  Added in v.321

john.pye@anu.edu.au
ViewVC Help
Powered by ViewVC 1.1.22