Parent Directory
| 
Revision Log
Removed BBOXWHINE (replaced with some one-time-only warnings for the moment) Added ExtMethodDestroyFn to allow 'user_data' associated with external methods to be destroyed. Implemented the destroy fn through to 'extpy' module. Added 'name' as an extra parameter in the user_data for extpy, to help with debug msgs. Moved 'solvernotes' to a file of its own (was part of listnotes.py) Added 'repaint' to GTK 'tools' menu (for debugging) Added 'python.h' to top of library, type files (pygtk) to stop silly warnings. Working on some diagnosing of problems as noted in Simulation::checkInstance. Removed some old comments from namio.h and others. Renamed 'blsys' to 'sys' in integrator.c. Some work on fixing up the J*v function for IDA (not yet complete). Added new 'destroyfn' parameter (as NULL) to all calls to 'CreateUserFunctionMethod'.
| 1 | <?xml version="1.0" standalone="no"?> <!--*- mode: xml -*--> |
| 2 | <!DOCTYPE glade-interface SYSTEM "http://glade.gnome.org/glade-2.0.dtd"> |
| 3 | |
| 4 | <glade-interface> |
| 5 | |
| 6 | <widget class="GtkWindow" id="browserwin"> |
| 7 | <property name="visible">True</property> |
| 8 | <property name="title" translatable="yes">ASCEND PyGTK</property> |
| 9 | <property name="type">GTK_WINDOW_TOPLEVEL</property> |
| 10 | <property name="window_position">GTK_WIN_POS_NONE</property> |
| 11 | <property name="modal">False</property> |
| 12 | <property name="default_width">600</property> |
| 13 | <property name="default_height">800</property> |
| 14 | <property name="resizable">True</property> |
| 15 | <property name="destroy_with_parent">False</property> |
| 16 | <property name="icon_name"></property> |
| 17 | <property name="decorated">True</property> |
| 18 | <property name="skip_taskbar_hint">False</property> |
| 19 | <property name="skip_pager_hint">False</property> |
| 20 | <property name="type_hint">GDK_WINDOW_TYPE_HINT_NORMAL</property> |
| 21 | <property name="gravity">GDK_GRAVITY_NORTH_WEST</property> |
| 22 | <property name="focus_on_map">True</property> |
| 23 | <property name="urgency_hint">False</property> |
| 24 | <signal name="check_resize" handler="on_browserwin_check_resize" last_modification_time="Thu, 17 Nov 2005 15:56:29 GMT"/> |
| 25 | <signal name="focus" handler="on_browserwin_focus" last_modification_time="Sun, 04 Dec 2005 05:39:42 GMT"/> |
| 26 | |
| 27 | <child> |
| 28 | <widget class="GtkVBox" id="vbox5"> |
| 29 | <property name="visible">True</property> |
| 30 | <property name="homogeneous">False</property> |
| 31 | <property name="spacing">0</property> |
| 32 | |
| 33 | <child> |
| 34 | <widget class="GtkMenuBar" id="browsermenu"> |
| 35 | <property name="visible">True</property> |
| 36 | <property name="pack_direction">GTK_PACK_DIRECTION_LTR</property> |
| 37 | <property name="child_pack_direction">GTK_PACK_DIRECTION_LTR</property> |
| 38 | |
| 39 | <child> |
| 40 | <widget class="GtkMenuItem" id="menuitem8"> |
| 41 | <property name="visible">True</property> |
| 42 | <property name="label" translatable="yes">_File</property> |
| 43 | <property name="use_underline">True</property> |
| 44 | |
| 45 | <child> |
| 46 | <widget class="GtkMenu" id="menuitem8_menu"> |
| 47 | |
| 48 | <child> |
| 49 | <widget class="GtkImageMenuItem" id="open2"> |
| 50 | <property name="visible">True</property> |
| 51 | <property name="label">gtk-open</property> |
| 52 | <property name="use_stock">True</property> |
| 53 | <signal name="activate" handler="open_click" last_modification_time="Tue, 24 Jan 2006 02:52:29 GMT"/> |
| 54 | </widget> |
| 55 | </child> |
| 56 | |
| 57 | <child> |
| 58 | <widget class="GtkImageMenuItem" id="reload"> |
| 59 | <property name="visible">True</property> |
| 60 | <property name="label" translatable="yes">_Reload</property> |
| 61 | <property name="use_underline">True</property> |
| 62 | <signal name="activate" handler="reload_click" last_modification_time="Tue, 24 Jan 2006 02:52:29 GMT"/> |
| 63 | <accelerator key="F5" modifiers="GDK_CONTROL_MASK" signal="activate"/> |
| 64 | |
| 65 | <child internal-child="image"> |
| 66 | <widget class="GtkImage" id="image744"> |
| 67 | <property name="visible">True</property> |
| 68 | <property name="stock">gtk-refresh</property> |
| 69 | <property name="icon_size">1</property> |
| 70 | <property name="xalign">0.5</property> |
| 71 | <property name="yalign">0.5</property> |
| 72 | <property name="xpad">0</property> |
| 73 | <property name="ypad">0</property> |
| 74 | </widget> |
| 75 | </child> |
| 76 | </widget> |
| 77 | </child> |
| 78 | |
| 79 | <child> |
| 80 | <widget class="GtkSeparatorMenuItem" id="separatormenuitem2"> |
| 81 | <property name="visible">True</property> |
| 82 | </widget> |
| 83 | </child> |
| 84 | |
| 85 | <child> |
| 86 | <widget class="GtkImageMenuItem" id="quit"> |
| 87 | <property name="visible">True</property> |
| 88 | <property name="label">gtk-quit</property> |
| 89 | <property name="use_stock">True</property> |
| 90 | <signal name="activate" handler="on_file_quit_click" last_modification_time="Sun, 29 Jan 2006 06:48:50 GMT"/> |
| 91 | </widget> |
| 92 | </child> |
| 93 | </widget> |
| 94 | </child> |
| 95 | </widget> |
| 96 | </child> |
| 97 | |
| 98 | <child> |
| 99 | <widget class="GtkMenuItem" id="editmenu"> |
| 100 | <property name="visible">True</property> |
| 101 | <property name="label" translatable="yes">_Edit</property> |
| 102 | <property name="use_underline">True</property> |
| 103 | |
| 104 | <child> |
| 105 | <widget class="GtkMenu" id="editmenu_menu"> |
| 106 | |
| 107 | <child> |
| 108 | <widget class="GtkImageMenuItem" id="copy_observer_matrix"> |
| 109 | <property name="visible">True</property> |
| 110 | <property name="label" translatable="yes">_Copy Observer Matrix</property> |
| 111 | <property name="use_underline">True</property> |
| 112 | <signal name="activate" handler="on_copy_observer_matrix_click" last_modification_time="Wed, 01 Feb 2006 03:42:33 GMT"/> |
| 113 | <accelerator key="C" modifiers="GDK_CONTROL_MASK" signal="activate"/> |
| 114 | |
| 115 | <child internal-child="image"> |
| 116 | <widget class="GtkImage" id="image745"> |
| 117 | <property name="visible">True</property> |
| 118 | <property name="stock">gtk-copy</property> |
| 119 | <property name="icon_size">1</property> |
| 120 | <property name="xalign">0.5</property> |
| 121 | <property name="yalign">0.5</property> |
| 122 | <property name="xpad">0</property> |
| 123 | <property name="ypad">0</property> |
| 124 | </widget> |
| 125 | </child> |
| 126 | </widget> |
| 127 | </child> |
| 128 | |
| 129 | <child> |
| 130 | <widget class="GtkSeparatorMenuItem" id="separator5"> |
| 131 | <property name="visible">True</property> |
| 132 | </widget> |
| 133 | </child> |
| 134 | |
| 135 | <child> |
| 136 | <widget class="GtkImageMenuItem" id="fix_variable"> |
| 137 | <property name="visible">True</property> |
| 138 | <property name="label" translatable="yes">_Fix Variable</property> |
| 139 | <property name="use_underline">True</property> |
| 140 | <signal name="activate" handler="on_fix_variable_activate" last_modification_time="Fri, 17 Feb 2006 06:53:31 GMT"/> |
| 141 | <accelerator key="F" modifiers="GDK_CONTROL_MASK" signal="activate"/> |
| 142 | |
| 143 | <child internal-child="image"> |
| 144 | <widget class="GtkImage" id="image746"> |
| 145 | <property name="visible">True</property> |
| 146 | <property name="pixbuf">locked.png</property> |
| 147 | <property name="xalign">0.5</property> |
| 148 | <property name="yalign">0.5</property> |
| 149 | <property name="xpad">0</property> |
| 150 | <property name="ypad">0</property> |
| 151 | </widget> |
| 152 | </child> |
| 153 | </widget> |
| 154 | </child> |
| 155 | |
| 156 | <child> |
| 157 | <widget class="GtkImageMenuItem" id="free_variable"> |
| 158 | <property name="visible">True</property> |
| 159 | <property name="label" translatable="yes">F_ree Variable</property> |
| 160 | <property name="use_underline">True</property> |
| 161 | <signal name="activate" handler="on_free_variable_activate" last_modification_time="Fri, 17 Feb 2006 06:53:31 GMT"/> |
| 162 | <accelerator key="R" modifiers="GDK_CONTROL_MASK" signal="activate"/> |
| 163 | |
| 164 | <child internal-child="image"> |
| 165 | <widget class="GtkImage" id="image747"> |
| 166 | <property name="visible">True</property> |
| 167 | <property name="pixbuf">unlocked.png</property> |
| 168 | <property name="xalign">0.5</property> |
| 169 | <property name="yalign">0.5</property> |
| 170 | <property name="xpad">0</property> |
| 171 | <property name="ypad">0</property> |
| 172 | </widget> |
| 173 | </child> |
| 174 | </widget> |
| 175 | </child> |
| 176 | |
| 177 | <child> |
| 178 | <widget class="GtkSeparatorMenuItem" id="separator6"> |
| 179 | <property name="visible">True</property> |
| 180 | </widget> |
| 181 | </child> |
| 182 | |
| 183 | <child> |
| 184 | <widget class="GtkImageMenuItem" id="propsmenuitem"> |
| 185 | <property name="visible">True</property> |
| 186 | <property name="label" translatable="yes">_Properties</property> |
| 187 | <property name="use_underline">True</property> |
| 188 | <signal name="activate" handler="props_activate" last_modification_time="Sat, 04 Feb 2006 08:24:39 GMT"/> |
| 189 | <accelerator key="F4" modifiers="0" signal="activate"/> |
| 190 | |
| 191 | <child internal-child="image"> |
| 192 | <widget class="GtkImage" id="image748"> |
| 193 | <property name="visible">True</property> |
| 194 | <property name="pixbuf">properties.png</property> |
| 195 | <property name="xalign">0.5</property> |
| 196 | <property name="yalign">0.5</property> |
| 197 | <property name="xpad">0</property> |
| 198 | <property name="ypad">0</property> |
| 199 | </widget> |
| 200 | </child> |
| 201 | </widget> |
| 202 | </child> |
| 203 | </widget> |
| 204 | </child> |
| 205 | </widget> |
| 206 | </child> |
| 207 | |
| 208 | <child> |
| 209 | <widget class="GtkMenuItem" id="tools"> |
| 210 | <property name="visible">True</property> |
| 211 | <property name="label" translatable="yes">_Tools</property> |
| 212 | <property name="use_underline">True</property> |
| 213 | |
| 214 | <child> |
| 215 | <widget class="GtkMenu" id="tools_menu"> |
| 216 | |
| 217 | <child> |
| 218 | <widget class="GtkImageMenuItem" id="check1"> |
| 219 | <property name="visible">True</property> |
| 220 | <property name="label" translatable="yes">C_heck</property> |
| 221 | <property name="use_underline">True</property> |
| 222 | <signal name="activate" handler="check_click" last_modification_time="Tue, 24 Jan 2006 02:52:29 GMT"/> |
| 223 | <accelerator key="F7" modifiers="0" signal="activate"/> |
| 224 | |
| 225 | <child internal-child="image"> |
| 226 | <widget class="GtkImage" id="image749"> |
| 227 | <property name="visible">True</property> |
| 228 | <property name="stock">gtk-spell-check</property> |
| 229 | <property name="icon_size">1</property> |
| 230 | <property name="xalign">0.5</property> |
| 231 | <property name="yalign">0.5</property> |
| 232 | <property name="xpad">0</property> |
| 233 | <property name="ypad">0</property> |
| 234 | </widget> |
| 235 | </child> |
| 236 | </widget> |
| 237 | </child> |
| 238 | |
| 239 | <child> |
| 240 | <widget class="GtkImageMenuItem" id="solve1"> |
| 241 | <property name="visible">True</property> |
| 242 | <property name="label" translatable="yes">Sol_ve</property> |
| 243 | <property name="use_underline">True</property> |
| 244 | <signal name="activate" handler="solve_click" last_modification_time="Tue, 24 Jan 2006 02:52:29 GMT"/> |
| 245 | <accelerator key="F9" modifiers="0" signal="activate"/> |
| 246 | |
| 247 | <child internal-child="image"> |
| 248 | <widget class="GtkImage" id="image750"> |
| 249 | <property name="visible">True</property> |
| 250 | <property name="stock">gtk-media-forward</property> |
| 251 | <property name="icon_size">1</property> |
| 252 | <property name="xalign">0.5</property> |
| 253 | <property name="yalign">0.5</property> |
| 254 | <property name="xpad">0</property> |
| 255 | <property name="ypad">0</property> |
| 256 | </widget> |
| 257 | </child> |
| 258 | </widget> |
| 259 | </child> |
| 260 | |
| 261 | <child> |
| 262 | <widget class="GtkImageMenuItem" id="integrate1"> |
| 263 | <property name="visible">True</property> |
| 264 | <property name="label" translatable="yes">Integrate...</property> |
| 265 | <property name="use_underline">True</property> |
| 266 | <signal name="activate" handler="integrate_click" last_modification_time="Mon, 05 Jun 2006 10:27:25 GMT"/> |
| 267 | <accelerator key="F9" modifiers="GDK_CONTROL_MASK" signal="activate"/> |
| 268 | |
| 269 | <child internal-child="image"> |
| 270 | <widget class="GtkImage" id="image751"> |
| 271 | <property name="visible">True</property> |
| 272 | <property name="pixbuf">integrator-sm.png</property> |
| 273 | <property name="xalign">0.5</property> |
| 274 | <property name="yalign">0.5</property> |
| 275 | <property name="xpad">0</property> |
| 276 | <property name="ypad">0</property> |
| 277 | </widget> |
| 278 | </child> |
| 279 | </widget> |
| 280 | </child> |
| 281 | |
| 282 | <child> |
| 283 | <widget class="GtkSeparatorMenuItem" id="separator8"> |
| 284 | <property name="visible">True</property> |
| 285 | </widget> |
| 286 | </child> |
| 287 | |
| 288 | <child> |
| 289 | <widget class="GtkImageMenuItem" id="console1"> |
| 290 | <property name="visible">True</property> |
| 291 | <property name="tooltip" translatable="yes">Program ASCEND with Python</property> |
| 292 | <property name="label" translatable="yes">_Console</property> |
| 293 | <property name="use_underline">True</property> |
| 294 | <signal name="activate" handler="console_click" last_modification_time="Thu, 08 Jun 2006 08:35:48 GMT"/> |
| 295 | <accelerator key="F12" modifiers="0" signal="activate"/> |
| 296 | |
| 297 | <child internal-child="image"> |
| 298 | <widget class="GtkImage" id="image752"> |
| 299 | <property name="visible">True</property> |
| 300 | <property name="stock">gtk-connect</property> |
| 301 | <property name="icon_size">1</property> |
| 302 | <property name="xalign">0.5</property> |
| 303 | <property name="yalign">0.5</property> |
| 304 | <property name="xpad">0</property> |
| 305 | <property name="ypad">0</property> |
| 306 | </widget> |
| 307 | </child> |
| 308 | </widget> |
| 309 | </child> |
| 310 | |
| 311 | <child> |
| 312 | <widget class="GtkImageMenuItem" id="repaint_tree"> |
| 313 | <property name="visible">True</property> |
| 314 | <property name="label" translatable="yes">Re-_paint</property> |
| 315 | <property name="use_underline">True</property> |
| 316 | <signal name="activate" handler="on_tools_repaint_tree_activate" last_modification_time="Fri, 27 Oct 2006 03:55:46 GMT"/> |
| 317 | <accelerator key="F5" modifiers="0" signal="activate"/> |
| 318 | |
| 319 | <child internal-child="image"> |
| 320 | <widget class="GtkImage" id="image753"> |
| 321 | <property name="visible">True</property> |
| 322 | <property name="stock">gtk-refresh</property> |
| 323 | <property name="icon_size">1</property> |
| 324 | <property name="xalign">0.5</property> |
| 325 | <property name="yalign">0.5</property> |
| 326 | <property name="xpad">0</property> |
| 327 | <property name="ypad">0</property> |
| 328 | </widget> |
| 329 | </child> |
| 330 | </widget> |
| 331 | </child> |
| 332 | |
| 333 | <child> |
| 334 | <widget class="GtkSeparatorMenuItem" id="separator7"> |
| 335 | <property name="visible">True</property> |
| 336 | </widget> |
| 337 | </child> |
| 338 | |
| 339 | <child> |
| 340 | <widget class="GtkMenuItem" id="show_fixable_variables"> |
| 341 | <property name="visible">True</property> |
| 342 | <property name="label" translatable="yes">Show _fixable vars</property> |
| 343 | <property name="use_underline">True</property> |
| 344 | <signal name="activate" handler="on_show_fixable_variables_activate" last_modification_time="Sat, 15 Jul 2006 07:15:28 GMT"/> |
| 345 | <accelerator key="F" modifiers="GDK_CONTROL_MASK | GDK_SHIFT_MASK" signal="activate"/> |
| 346 | </widget> |
| 347 | </child> |
| 348 | |
| 349 | <child> |
| 350 | <widget class="GtkMenuItem" id="show_freeable_vars"> |
| 351 | <property name="visible">True</property> |
| 352 | <property name="label" translatable="yes">Show f_reeable vars</property> |
| 353 | <property name="use_underline">True</property> |
| 354 | <signal name="activate" handler="on_show_freeable_variables_activate" last_modification_time="Sat, 15 Jul 2006 07:17:24 GMT"/> |
| 355 | <accelerator key="R" modifiers="GDK_CONTROL_MASK | GDK_SHIFT_MASK" signal="activate"/> |
| 356 | </widget> |
| 357 | </child> |
| 358 | |
| 359 | <child> |
| 360 | <widget class="GtkMenuItem" id="show_variables_near_bounds"> |
| 361 | <property name="visible">True</property> |
| 362 | <property name="label" translatable="yes">Show variables near _bounds</property> |
| 363 | <property name="use_underline">True</property> |
| 364 | <signal name="activate" handler="on_show_variables_near_bounds_activate" last_modification_time="Fri, 24 Feb 2006 04:56:30 GMT"/> |
| 365 | <accelerator key="B" modifiers="GDK_CONTROL_MASK" signal="activate"/> |
| 366 | </widget> |
| 367 | </child> |
| 368 | |
| 369 | <child> |
| 370 | <widget class="GtkMenuItem" id="show_external_functions"> |
| 371 | <property name="visible">True</property> |
| 372 | <property name="label" translatable="yes">Show e_xternal functions</property> |
| 373 | <property name="use_underline">True</property> |
| 374 | <signal name="activate" handler="on_show_external_functions_activate" last_modification_time="Wed, 12 Jul 2006 02:07:28 GMT"/> |
| 375 | <accelerator key="E" modifiers="GDK_CONTROL_MASK | GDK_SHIFT_MASK" signal="activate"/> |
| 376 | </widget> |
| 377 | </child> |
| 378 | |
| 379 | <child> |
| 380 | <widget class="GtkImageMenuItem" id="sparsity"> |
| 381 | <property name="visible">True</property> |
| 382 | <property name="tooltip" translatable="yes">View the incidence matrix from the solver</property> |
| 383 | <property name="label" translatable="yes">_Incidence matrix...</property> |
| 384 | <property name="use_underline">True</property> |
| 385 | <signal name="activate" handler="on_tools_sparsity_click" last_modification_time="Sun, 29 Jan 2006 07:29:07 GMT"/> |
| 386 | <accelerator key="I" modifiers="GDK_CONTROL_MASK | GDK_SHIFT_MASK" signal="activate"/> |
| 387 | |
| 388 | <child internal-child="image"> |
| 389 | <widget class="GtkImage" id="image754"> |
| 390 | <property name="visible">True</property> |
| 391 | <property name="pixbuf">incidence.png</property> |
| 392 | <property name="xalign">0.5</property> |
| 393 | <property name="yalign">0.5</property> |
| 394 | <property name="xpad">0</property> |
| 395 | <property name="ypad">0</property> |
| 396 | </widget> |
| 397 | </child> |
| 398 | </widget> |
| 399 | </child> |
| 400 | |
| 401 | <child> |
| 402 | <widget class="GtkImageMenuItem" id="diagnose_blocks"> |
| 403 | <property name="visible">True</property> |
| 404 | <property name="label" translatable="yes">_Diagnose blocks...</property> |
| 405 | <property name="use_underline">True</property> |
| 406 | <signal name="activate" handler="on_diagnose_blocks_click" last_modification_time="Wed, 08 Feb 2006 05:26:31 GMT"/> |
| 407 | <accelerator key="D" modifiers="GDK_CONTROL_MASK" signal="activate"/> |
| 408 | |
| 409 | <child internal-child="image"> |
| 410 | <widget class="GtkImage" id="image755"> |
| 411 | <property name="visible">True</property> |
| 412 | <property name="pixbuf">diagnose.png</property> |
| 413 | <property name="xalign">0.5</property> |
| 414 | <property name="yalign">0.5</property> |
| 415 | <property name="xpad">0</property> |
| 416 | <property name="ypad">0</property> |
| 417 | </widget> |
| 418 | </child> |
| 419 | </widget> |
| 420 | </child> |
| 421 | |
| 422 | <child> |
| 423 | <widget class="GtkSeparatorMenuItem" id="separator3"> |
| 424 | <property name="visible">True</property> |
| 425 | </widget> |
| 426 | </child> |
| 427 | |
| 428 | <child> |
| 429 | <widget class="GtkImageMenuItem" id="add_observer"> |
| 430 | <property name="visible">True</property> |
| 431 | <property name="label" translatable="yes">Add Observer</property> |
| 432 | <property name="use_underline">True</property> |
| 433 | <signal name="activate" handler="on_add_observer_click" last_modification_time="Tue, 31 Jan 2006 07:41:27 GMT"/> |
| 434 | <accelerator key="O" modifiers="GDK_CONTROL_MASK | GDK_SHIFT_MASK" signal="activate"/> |
| 435 | |
| 436 | <child internal-child="image"> |
| 437 | <widget class="GtkImage" id="image756"> |
| 438 | <property name="visible">True</property> |
| 439 | <property name="stock">gtk-add</property> |
| 440 | <property name="icon_size">1</property> |
| 441 | <property name="xalign">0.5</property> |
| 442 | <property name="yalign">0.5</property> |
| 443 | <property name="xpad">0</property> |
| 444 | <property name="ypad">0</property> |
| 445 | </widget> |
| 446 | </child> |
| 447 | </widget> |
| 448 | </child> |
| 449 | |
| 450 | <child> |
| 451 | <widget class="GtkImageMenuItem" id="keep_observed"> |
| 452 | <property name="visible">True</property> |
| 453 | <property name="label" translatable="yes">_Keep Observed Values</property> |
| 454 | <property name="use_underline">True</property> |
| 455 | <signal name="activate" handler="on_keep_observed_click" last_modification_time="Wed, 01 Feb 2006 03:33:49 GMT"/> |
| 456 | <accelerator key="K" modifiers="GDK_CONTROL_MASK" signal="activate"/> |
| 457 | |
| 458 | <child internal-child="image"> |
| 459 | <widget class="GtkImage" id="image757"> |
| 460 | <property name="visible">True</property> |
| 461 | <property name="stock">gtk-indent</property> |
| 462 | <property name="icon_size">1</property> |
| 463 | <property name="xalign">0.5</property> |
| 464 | <property name="yalign">0.5</property> |
| 465 | <property name="xpad">0</property> |
| 466 | <property name="ypad">0</property> |
| 467 | </widget> |
| 468 | </child> |
| 469 | </widget> |
| 470 | </child> |
| 471 | |
| 472 | <child> |
| 473 | <widget class="GtkSeparatorMenuItem" id="separator4"> |
| 474 | <property name="visible">True</property> |
| 475 | </widget> |
| 476 | </child> |
| 477 | |
| 478 | <child> |
| 479 | <widget class="GtkCheckMenuItem" id="use_relation_sharing"> |
| 480 | <property name="visible">True</property> |
| 481 | <property name="tooltip" translatable="yes">Check for merge-able 'anonymous types' during compile stage</property> |
| 482 | <property name="label" translatable="yes">Use relation sharing</property> |
| 483 | <property name="use_underline">True</property> |
| 484 | <property name="active">True</property> |
| 485 | <signal name="activate" handler="on_use_relation_sharing_toggle" last_modification_time="Fri, 14 Jul 2006 02:29:16 GMT"/> |
| 486 | <accelerator key="S" modifiers="GDK_CONTROL_MASK" signal="activate"/> |
| 487 | </widget> |
| 488 | </child> |
| 489 | |
| 490 | <child> |
| 491 | <widget class="GtkSeparatorMenuItem" id="separator9"> |
| 492 | <property name="visible">True</property> |
| 493 | </widget> |
| 494 | </child> |
| 495 | |
| 496 | <child> |
| 497 | <widget class="GtkMenuItem" id="solver_engine"> |
| 498 | <property name="visible">True</property> |
| 499 | <property name="label" translatable="yes">_Solver Engine</property> |
| 500 | <property name="use_underline">True</property> |
| 501 | <signal name="activate" handler="on_solver_engine_activate" last_modification_time="Wed, 26 Jul 2006 12:47:56 GMT"/> |
| 502 | </widget> |
| 503 | </child> |
| 504 | |
| 505 | <child> |
| 506 | <widget class="GtkImageMenuItem" id="preferences"> |
| 507 | <property name="visible">True</property> |
| 508 | <property name="label" translatable="yes">Solver _Parameters...</property> |
| 509 | <property name="use_underline">True</property> |
| 510 | <signal name="activate" handler="preferences_click" last_modification_time="Tue, 24 Jan 2006 02:52:29 GMT"/> |
| 511 | <accelerator key="F11" modifiers="0" signal="activate"/> |
| 512 | |
| 513 | <child internal-child="image"> |
| 514 | <widget class="GtkImage" id="image758"> |
| 515 | <property name="visible">True</property> |
| 516 | <property name="stock">gtk-preferences</property> |
| 517 | <property name="icon_size">1</property> |
| 518 | <property name="xalign">0.5</property> |
| 519 | <property name="yalign">0.5</property> |
| 520 | <property name="xpad">0</property> |
| 521 | <property name="ypad">0</property> |
| 522 | </widget> |
| 523 | </child> |
| 524 | </widget> |
| 525 | </child> |
| 526 | |
| 527 | <child> |
| 528 | <widget class="GtkCheckMenuItem" id="automenu"> |
| 529 | <property name="visible">True</property> |
| 530 | <property name="tooltip" translatable="yes">Solve automatically after values change</property> |
| 531 | <property name="label" translatable="yes">_Auto-solve</property> |
| 532 | <property name="use_underline">True</property> |
| 533 | <property name="active">True</property> |
| 534 | <signal name="activate" handler="on_tools_auto_toggle" last_modification_time="Sun, 29 Jan 2006 06:55:49 GMT"/> |
| 535 | <accelerator key="A" modifiers="GDK_CONTROL_MASK | GDK_SHIFT_MASK" signal="activate"/> |
| 536 | </widget> |
| 537 | </child> |
| 538 | |
| 539 | <child> |
| 540 | <widget class="GtkMenuItem" id="solver_monitor"> |
| 541 | <property name="visible">True</property> |
| 542 | <property name="label" translatable="yes">Solver _Reporter</property> |
| 543 | <property name="use_underline">True</property> |
| 544 | |
| 545 | <child> |
| 546 | <widget class="GtkMenu" id="solver_monitor_menu"> |
| 547 | |
| 548 | <child> |
| 549 | <widget class="GtkCheckMenuItem" id="show_solving_popup"> |
| 550 | <property name="visible">True</property> |
| 551 | <property name="label" translatable="yes">Show _Pop-up</property> |
| 552 | <property name="use_underline">True</property> |
| 553 | <property name="active">True</property> |
| 554 | <signal name="activate" handler="on_show_solving_popup_toggle" last_modification_time="Thu, 23 Feb 2006 12:40:46 GMT"/> |
| 555 | </widget> |
| 556 | </child> |
| 557 | |
| 558 | <child> |
| 559 | <widget class="GtkCheckMenuItem" id="close_on_converged"> |
| 560 | <property name="visible">True</property> |
| 561 | <property name="label" translatable="yes">Close Pop-up on _Converged</property> |
| 562 | <property name="use_underline">True</property> |
| 563 | <property name="active">False</property> |
| 564 | <signal name="activate" handler="on_close_on_converged_toggle" last_modification_time="Thu, 23 Feb 2006 12:40:46 GMT"/> |
| 565 | </widget> |
| 566 | </child> |
| 567 | |
| 568 | <child> |
| 569 | <widget class="GtkCheckMenuItem" id="close_on_nonconverged"> |
| 570 | <property name="visible">True</property> |
| 571 | <property name="label" translatable="yes">Close Pop-up on _Non-converged</property> |
| 572 | <property name="use_underline">True</property> |
| 573 | <property name="active">False</property> |
| 574 | <signal name="activate" handler="on_close_on_nonconverged_toggle" last_modification_time="Thu, 23 Feb 2006 14:12:23 GMT"/> |
| 575 | </widget> |
| 576 | </child> |
| 577 | </widget> |
| 578 | </child> |
| 579 | </widget> |
| 580 | </child> |
| 581 | </widget> |
| 582 | </child> |
| 583 | </widget> |
| 584 | </child> |
| 585 | |
| 586 | <child> |
| 587 | <widget class="GtkMenuItem" id="help"> |
| 588 | <property name="visible">True</property> |
| 589 | <property name="label" translatable="yes">_Help</property> |
| 590 | <property name="use_underline">True</property> |
| 591 | |
| 592 | <child> |
| 593 | <widget class="GtkMenu" id="help_menu"> |
| 594 | |
| 595 | <child> |
| 596 | <widget class="GtkImageMenuItem" id="contents"> |
| 597 | <property name="visible">True</property> |
| 598 | <property name="label" translatable="yes">_Contents</property> |
| 599 | <property name="use_underline">True</property> |
| 600 | <signal name="activate" handler="on_help_contents_click" last_modification_time="Sun, 29 Jan 2006 06:36:19 GMT"/> |
| 601 | |
| 602 | <child internal-child="image"> |
| 603 | <widget class="GtkImage" id="image759"> |
| 604 | <property name="visible">True</property> |
| 605 | <property name="stock">gtk-help</property> |
| 606 | <property name="icon_size">1</property> |
| 607 | <property name="xalign">0.5</property> |
| 608 | <property name="yalign">0.5</property> |
| 609 | <property name="xpad">0</property> |
| 610 | <property name="ypad">0</property> |
| 611 | </widget> |
| 612 | </child> |
| 613 | </widget> |
| 614 | </child> |
| 615 | |
| 616 | <child> |
| 617 | <widget class="GtkImageMenuItem" id="check_for_updates"> |
| 618 | <property name="visible">True</property> |
| 619 | <property name="label" translatable="yes">Check for _Updates</property> |
| 620 | <property name="use_underline">True</property> |
| 621 | <signal name="activate" handler="on_help_check_for_updates_click" last_modification_time="Thu, 26 Oct 2006 00:42:36 GMT"/> |
| 622 | |
| 623 | <child internal-child="image"> |
| 624 | <widget class="GtkImage" id="image760"> |
| 625 | <property name="visible">True</property> |
| 626 | <property name="stock">gtk-connect</property> |
| 627 | <property name="icon_size">1</property> |
| 628 | <property name="xalign">0.5</property> |
| 629 | <property name="yalign">0.5</property> |
| 630 | <property name="xpad">0</property> |
| 631 | <property name="ypad">0</property> |
| 632 | </widget> |
| 633 | </child> |
| 634 | </widget> |
| 635 | </child> |
| 636 | |
| 637 | <child> |
| 638 | <widget class="GtkImageMenuItem" id="about"> |
| 639 | <property name="visible">True</property> |
| 640 | <property name="label">gtk-about</property> |
| 641 | <property name="use_stock">True</property> |
| 642 | <signal name="activate" handler="on_help_about_click" last_modification_time="Sun, 29 Jan 2006 03:56:52 GMT"/> |
| 643 | </widget> |
| 644 | </child> |
| 645 | </widget> |
| 646 | </child> |
| 647 | </widget> |
| 648 | </child> |
| 649 | </widget> |
| 650 | <packing> |
| 651 | <property name="padding">0</property> |
| 652 | <property name="expand">False</property> |
| 653 | <property name="fill">False</property> |
| 654 | </packing> |
| 655 | </child> |
| 656 | |
| 657 | <child> |
| 658 | <widget class="GtkToolbar" id="toolbar3"> |
| 659 | <property name="visible">True</property> |
| 660 | <property name="orientation">GTK_ORIENTATION_HORIZONTAL</property> |
| 661 | <property name="toolbar_style">GTK_TOOLBAR_BOTH</property> |
| 662 | <property name="tooltips">True</property> |
| 663 | <property name="show_arrow">True</property> |
| 664 | |
| 665 | <child> |
| 666 | <widget class="GtkToolButton" id="openbutton"> |
| 667 | <property name="visible">True</property> |
| 668 | <property name="stock_id">gtk-open</property> |
| 669 | <property name="visible_horizontal">True</property> |
| 670 | <property name="visible_vertical">True</property> |
| 671 | <property name="is_important">False</property> |
| 672 | <signal name="clicked" handler="on_openbutton_clicked" last_modification_time="Sun, 04 Dec 2005 05:48:03 GMT"/> |
| 673 | </widget> |
| 674 | <packing> |
| 675 | <property name="expand">False</property> |
| 676 | <property name="homogeneous">True</property> |
| 677 | </packing> |
| 678 | </child> |
| 679 | |
| 680 | <child> |
| 681 | <widget class="GtkToolButton" id="reloadbutton"> |
| 682 | <property name="visible">True</property> |
| 683 | <property name="label" translatable="yes">Re_load</property> |
| 684 | <property name="use_underline">True</property> |
| 685 | <property name="stock_id">gtk-refresh</property> |
| 686 | <property name="visible_horizontal">True</property> |
| 687 | <property name="visible_vertical">True</property> |
| 688 | <property name="is_important">False</property> |
| 689 | <signal name="clicked" handler="on_toolbutton11_clicked" last_modification_time="Sun, 04 Dec 2005 05:38:03 GMT"/> |
| 690 | </widget> |
| 691 | <packing> |
| 692 | <property name="expand">False</property> |
| 693 | <property name="homogeneous">True</property> |
| 694 | </packing> |
| 695 | </child> |
| 696 | |
| 697 | <child> |
| 698 | <widget class="GtkSeparatorToolItem" id="separatortoolitem4"> |
| 699 | <property name="visible">True</property> |
| 700 | <property name="draw">True</property> |
| 701 | <property name="visible_horizontal">True</property> |
| 702 | <property name="visible_vertical">True</property> |
| 703 | </widget> |
| 704 | <packing> |
| 705 | <property name="expand">False</property> |
| 706 | <property name="homogeneous">False</property> |
| 707 | </packing> |
| 708 | </child> |
| 709 | |
| 710 | <child> |
| 711 | <widget class="GtkToolButton" id="checkbutton"> |
| 712 | <property name="visible">True</property> |
| 713 | <property name="label" translatable="yes">_Check</property> |
| 714 | <property name="use_underline">True</property> |
| 715 | <property name="stock_id">gtk-spell-check</property> |
| 716 | <property name="visible_horizontal">True</property> |
| 717 | <property name="visible_vertical">True</property> |
| 718 | <property name="is_important">False</property> |
| 719 | <signal name="clicked" handler="on_checkbutton_clicked" last_modification_time="Thu, 17 Nov 2005 08:17:40 GMT"/> |
| 720 | </widget> |
| 721 | <packing> |
| 722 | <property name="expand">False</property> |
| 723 | <property name="homogeneous">True</property> |
| 724 | </packing> |
| 725 | </child> |
| 726 | |
| 727 | <child> |
| 728 | <widget class="GtkToolButton" id="solvebutton"> |
| 729 | <property name="visible">True</property> |
| 730 | <property name="label" translatable="yes">_Solve</property> |
| 731 | <property name="use_underline">True</property> |
| 732 | <property name="stock_id">gtk-media-play</property> |
| 733 | <property name="visible_horizontal">True</property> |
| 734 | <property name="visible_vertical">True</property> |
| 735 | <property name="is_important">False</property> |
| 736 | <signal name="clicked" handler="on_solvebutton_clicked" last_modification_time="Thu, 17 Nov 2005 08:17:30 GMT"/> |
| 737 | </widget> |
| 738 | <packing> |
| 739 | <property name="expand">False</property> |
| 740 | <property name="homogeneous">True</property> |
| 741 | </packing> |
| 742 | </child> |
| 743 | |
| 744 | <child> |
| 745 | <widget class="GtkToolButton" id="integratebutton"> |
| 746 | <property name="visible">True</property> |
| 747 | <property name="label" translatable="yes">_Integ</property> |
| 748 | <property name="use_underline">True</property> |
| 749 | <property name="icon">integrator-sm.png</property> |
| 750 | <property name="visible_horizontal">True</property> |
| 751 | <property name="visible_vertical">True</property> |
| 752 | <property name="is_important">False</property> |
| 753 | <signal name="clicked" handler="on_integratebutton_clicked" last_modification_time="Mon, 05 Jun 2006 10:36:42 GMT"/> |
| 754 | </widget> |
| 755 | <packing> |
| 756 | <property name="expand">False</property> |
| 757 | <property name="homogeneous">True</property> |
| 758 | </packing> |
| 759 | </child> |
| 760 | |
| 761 | <child> |
| 762 | <widget class="GtkSeparatorToolItem" id="separatortoolitem5"> |
| 763 | <property name="visible">True</property> |
| 764 | <property name="draw">True</property> |
| 765 | <property name="visible_horizontal">True</property> |
| 766 | <property name="visible_vertical">True</property> |
| 767 | </widget> |
| 768 | <packing> |
| 769 | <property name="expand">False</property> |
| 770 | <property name="homogeneous">False</property> |
| 771 | </packing> |
| 772 | </child> |
| 773 | |
| 774 | <child> |
| 775 | <widget class="GtkToggleToolButton" id="autotoggle"> |
| 776 | <property name="visible">True</property> |
| 777 | <property name="label" translatable="yes">_Auto</property> |
| 778 | <property name="use_underline">True</property> |
| 779 | <property name="stock_id">gtk-execute</property> |
| 780 | <property name="visible_horizontal">True</property> |
| 781 | <property name="visible_vertical">True</property> |
| 782 | <property name="is_important">False</property> |
| 783 | <property name="active">True</property> |
| 784 | <signal name="toggled" handler="on_toggletoolbutton1_toggled" last_modification_time="Thu, 17 Nov 2005 09:12:04 GMT"/> |
| 785 | </widget> |
| 786 | <packing> |
| 787 | <property name="expand">False</property> |
| 788 | <property name="homogeneous">True</property> |
| 789 | </packing> |
| 790 | </child> |
| 791 | |
| 792 | <child> |
| 793 | <widget class="GtkSeparatorToolItem" id="separatortoolitem3"> |
| 794 | <property name="visible">True</property> |
| 795 | <property name="draw">True</property> |
| 796 | <property name="visible_horizontal">True</property> |
| 797 | <property name="visible_vertical">True</property> |
| 798 | </widget> |
| 799 | <packing> |
| 800 | <property name="expand">False</property> |
| 801 | <property name="homogeneous">False</property> |
| 802 | </packing> |
| 803 | </child> |
| 804 | |
| 805 | <child> |
| 806 | <widget class="GtkToolItem" id="toolitem3"> |
| 807 | <property name="visible">True</property> |
| 808 | <property name="visible_horizontal">True</property> |
| 809 | <property name="visible_vertical">True</property> |
| 810 | <property name="is_important">False</property> |
| 811 | |
| 812 | <child> |
| 813 | <widget class="GtkFrame" id="frame1"> |
| 814 | <property name="visible">True</property> |
| 815 | <property name="label_xalign">0</property> |
| 816 | <property name="label_yalign">0.5</property> |
| 817 | <property name="shadow_type">GTK_SHADOW_NONE</property> |
| 818 | |
| 819 | <child> |
| 820 | <widget class="GtkAlignment" id="alignment1"> |
| 821 | <property name="visible">True</property> |
| 822 | <property name="xalign">0.5</property> |
| 823 | <property name="yalign">0.5</property> |
| 824 | <property name="xscale">1</property> |
| 825 | <property name="yscale">1</property> |
| 826 | <property name="top_padding">0</property> |
| 827 | <property name="bottom_padding">0</property> |
| 828 | <property name="left_padding">0</property> |
| 829 | <property name="right_padding">0</property> |
| 830 | |
| 831 | <child> |
| 832 | <widget class="GtkHBox" id="hbox3"> |
| 833 | <property name="visible">True</property> |
| 834 | <property name="homogeneous">False</property> |
| 835 | <property name="spacing">0</property> |
| 836 | |
| 837 | <child> |
| 838 | <widget class="GtkComboBox" id="methodsel"> |
| 839 | <property name="visible">True</property> |
| 840 | <property name="add_tearoffs">False</property> |
| 841 | <property name="focus_on_click">True</property> |
| 842 | </widget> |
| 843 | <packing> |
| 844 | <property name="padding">0</property> |
| 845 | <property name="expand">True</property> |
| 846 | <property name="fill">True</property> |
| 847 | </packing> |
| 848 | </child> |
| 849 | |
| 850 | <child> |
| 851 | <widget class="GtkButton" id="methodrunbutton"> |
| 852 | <property name="visible">True</property> |
| 853 | <property name="can_focus">True</property> |
| 854 | <property name="label" translatable="yes">_Run</property> |
| 855 | <property name="use_underline">True</property> |
| 856 | <property name="relief">GTK_RELIEF_NORMAL</property> |
| 857 | <property name="focus_on_click">True</property> |
| 858 | </widget> |
| 859 | <packing> |
| 860 | <property name="padding">4</property> |
| 861 | <property name="expand">False</property> |
| 862 | <property name="fill">False</property> |
| 863 | </packing> |
| 864 | </child> |
| 865 | </widget> |
| 866 | </child> |
| 867 | </widget> |
| 868 | </child> |
| 869 | |
| 870 | <child> |
| 871 | <widget class="GtkLabel" id="label8"> |
| 872 | <property name="visible">True</property> |
| 873 | <property name="label" translatable="yes">Methods</property> |
| 874 | <property name="use_underline">False</property> |
| 875 | <property name="use_markup">True</property> |
| 876 | <property name="justify">GTK_JUSTIFY_LEFT</property> |
| 877 | <property name="wrap">False</property> |
| 878 | <property name="selectable">False</property> |
| 879 | <property name="xalign">0.5</property> |
| 880 | <property name="yalign">0.5</property> |
| 881 | <property name="xpad">0</property> |
| 882 | <property name="ypad">3</property> |
| 883 | <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property> |
| 884 | <property name="width_chars">-1</property> |
| 885 | <property name="single_line_mode">False</property> |
| 886 | <property name="angle">0</property> |
| 887 | </widget> |
| 888 | <packing> |
| 889 | <property name="type">label_item</property> |
| 890 | </packing> |
| 891 | </child> |
| 892 | </widget> |
| 893 | </child> |
| 894 | </widget> |
| 895 | <packing> |
| 896 | <property name="expand">False</property> |
| 897 | <property name="homogeneous">False</property> |
| 898 | </packing> |
| 899 | </child> |
| 900 | </widget> |
| 901 | <packing> |
| 902 | <property name="padding">0</property> |
| 903 | <property name="expand">False</property> |
| 904 | <property name="fill">False</property> |
| 905 | </packing> |
| 906 | </child> |
| 907 | |
| 908 | <child> |
| 909 | <widget class="GtkVPaned" id="browserpaned"> |
| 910 | <property name="height_request">320</property> |
| 911 | <property name="visible">True</property> |
| 912 | <property name="can_focus">True</property> |
| 913 | <property name="position">421</property> |
| 914 | |
| 915 | <child> |
| 916 | <widget class="GtkScrolledWindow" id="scrolledwindow11"> |
| 917 | <property name="height_request">400</property> |
| 918 | <property name="visible">True</property> |
| 919 | <property name="can_focus">True</property> |
| 920 | <property name="hscrollbar_policy">GTK_POLICY_AUTOMATIC</property> |
| 921 | <property name="vscrollbar_policy">GTK_POLICY_AUTOMATIC</property> |
| 922 | <property name="shadow_type">GTK_SHADOW_NONE</property> |
| 923 | <property name="window_placement">GTK_CORNER_TOP_LEFT</property> |
| 924 | |
| 925 | <child> |
| 926 | <widget class="GtkViewport" id="viewport2"> |
| 927 | <property name="visible">True</property> |
| 928 | <property name="shadow_type">GTK_SHADOW_IN</property> |
| 929 | |
| 930 | <child> |
| 931 | <widget class="GtkNotebook" id="maintabs"> |
| 932 | <property name="visible">True</property> |
| 933 | <property name="can_focus">True</property> |
| 934 | <property name="show_tabs">True</property> |
| 935 | <property name="show_border">True</property> |
| 936 | <property name="tab_pos">GTK_POS_TOP</property> |
| 937 | <property name="scrollable">False</property> |
| 938 | <property name="enable_popup">False</property> |
| 939 | <signal name="switch_page" handler="on_maintabs_switch_page" last_modification_time="Thu, 21 Sep 2006 11:03:07 GMT"/> |
| 940 | |
| 941 | <child> |
| 942 | <widget class="GtkScrolledWindow" id="scrolledwindow12"> |
| 943 | <property name="visible">True</property> |
| 944 | <property name="can_focus">True</property> |
| 945 | <property name="hscrollbar_policy">GTK_POLICY_AUTOMATIC</property> |
| 946 | <property name="vscrollbar_policy">GTK_POLICY_AUTOMATIC</property> |
| 947 | <property name="shadow_type">GTK_SHADOW_NONE</property> |
| 948 | <property name="window_placement">GTK_CORNER_TOP_LEFT</property> |
| 949 | |
| 950 | <child> |
| 951 | <widget class="GtkTreeView" id="moduleview"> |
| 952 | <property name="visible">True</property> |
| 953 | <property name="can_focus">True</property> |
| 954 | <property name="headers_visible">True</property> |
| 955 | <property name="rules_hint">False</property> |
| 956 | <property name="reorderable">False</property> |
| 957 | <property name="enable_search">True</property> |
| 958 | <property name="fixed_height_mode">False</property> |
| 959 | <property name="hover_selection">False</property> |
| 960 | <property name="hover_expand">False</property> |
| 961 | <signal name="row_activated" handler="on_moduleview_row_activated" last_modification_time="Sun, 04 Dec 2005 13:02:19 GMT"/> |
| 962 | </widget> |
| 963 | </child> |
| 964 | </widget> |
| 965 | <packing> |
| 966 | <property name="tab_expand">False</property> |
| 967 | <property name="tab_fill">True</property> |
| 968 | </packing> |
| 969 | </child> |
| 970 | |
| 971 | <child> |
| 972 | <widget class="GtkLabel" id="moduletab"> |
| 973 | <property name="visible">True</property> |
| 974 | <property name="label" translatable="yes">Modules</property> |
| 975 | <property name="use_underline">False</property> |
| 976 | <property name="use_markup">False</property> |
| 977 | <property name="justify">GTK_JUSTIFY_LEFT</property> |
| 978 | <property name="wrap">False</property> |
| 979 | <property name="selectable">False</property> |
| 980 | <property name="xalign">0.5</property> |
| 981 | <property name="yalign">0.5</property> |
| 982 | <property name="xpad">0</property> |
| 983 | <property name="ypad">0</property> |
| 984 | <property name="mnemonic_widget">moduleview</property> |
| 985 | <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property> |
| 986 | <property name="width_chars">-1</property> |
| 987 | <property name="single_line_mode">False</property> |
| 988 | <property name="angle">0</property> |
| 989 | </widget> |
| 990 | <packing> |
| 991 | <property name="type">tab</property> |
| 992 | </packing> |
| 993 | </child> |
| 994 | |
| 995 | <child> |
| 996 | <widget class="GtkScrolledWindow" id="scrolledwindow13"> |
| 997 | <property name="visible">True</property> |
| 998 | <property name="can_focus">True</property> |
| 999 | <property name="hscrollbar_policy">GTK_POLICY_AUTOMATIC</property> |
| 1000 | <property name="vscrollbar_policy">GTK_POLICY_AUTOMATIC</property> |
| 1001 | <property name="shadow_type">GTK_SHADOW_NONE</property> |
| 1002 | <property name="window_placement">GTK_CORNER_TOP_LEFT</property> |
| 1003 | |
| 1004 | <child> |
| 1005 | <widget class="GtkTreeView" id="browserview"> |
| 1006 | <property name="visible">True</property> |
| 1007 | <property name="can_focus">True</property> |
| 1008 | <property name="has_focus">True</property> |
| 1009 | <property name="headers_visible">True</property> |
| 1010 | <property name="rules_hint">False</property> |
| 1011 | <property name="reorderable">False</property> |
| 1012 | <property name="enable_search">True</property> |
| 1013 | <property name="fixed_height_mode">False</property> |
| 1014 | <property name="hover_selection">False</property> |
| 1015 | <property name="hover_expand">False</property> |
| 1016 | <signal name="key_press_event" handler="on_browserview_key_press_event" last_modification_time="Thu, 17 Nov 2005 15:57:18 GMT"/> |
| 1017 | </widget> |
| 1018 | </child> |
| 1019 | </widget> |
| 1020 | <packing> |
| 1021 | <property name="tab_expand">False</property> |
| 1022 | <property name="tab_fill">True</property> |
| 1023 | </packing> |
| 1024 | </child> |
| 1025 | |
| 1026 | <child> |
| 1027 | <widget class="GtkLabel" id="label10"> |
| 1028 | <property name="visible">True</property> |
| 1029 | <property name="label" translatable="yes">Simulation </property> |
| 1030 | <property name="use_underline">False</property> |
| 1031 | <property name="use_markup">False</property> |
| 1032 | <property name="justify">GTK_JUSTIFY_LEFT</property> |
| 1033 | <property name="wrap">False</property> |
| 1034 | <property name="selectable">False</property> |
| 1035 | <property name="xalign">0.5</property> |
| 1036 | <property name="yalign">0.5</property> |
| 1037 | <property name="xpad">0</property> |
| 1038 | <property name="ypad">0</property> |
| 1039 | <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property> |
| 1040 | <property name="width_chars">-1</property> |
| 1041 | <property name="single_line_mode">False</property> |
| 1042 | <property name="angle">0</property> |
| 1043 | </widget> |
| 1044 | <packing> |
| 1045 | <property name="type">tab</property> |
| 1046 | </packing> |
| 1047 | </child> |
| 1048 | </widget> |
| 1049 | </child> |
| 1050 | </widget> |
| 1051 | </child> |
| 1052 | </widget> |
| 1053 | <packing> |
| 1054 | <property name="shrink">True</property> |
| 1055 | <property name="resize">False</property> |
| 1056 | </packing> |
| 1057 | </child> |
| 1058 | |
| 1059 | <child> |
| 1060 | <widget class="GtkNotebook" id="notebook4"> |
| 1061 | <property name="visible">True</property> |
| 1062 | <property name="can_focus">True</property> |
| 1063 | <property name="show_tabs">True</property> |
| 1064 | <property name="show_border">True</property> |
| 1065 | <property name="tab_pos">GTK_POS_TOP</property> |
| 1066 | <property name="scrollable">False</property> |
| 1067 | <property name="enable_popup">False</property> |
| 1068 | |
| 1069 | <child> |
| 1070 | <widget class="GtkScrolledWindow" id="scrolledwindow10"> |
| 1071 | <property name="visible">True</property> |
| 1072 | <property name="can_focus">True</property> |
| 1073 | <property name="hscrollbar_policy">GTK_POLICY_AUTOMATIC</property> |
| 1074 | <property name="vscrollbar_policy">GTK_POLICY_AUTOMATIC</property> |
| 1075 | <property name="shadow_type">GTK_SHADOW_IN</property> |
| 1076 | <property name="window_placement">GTK_CORNER_TOP_LEFT</property> |
| 1077 | |
| 1078 | <child> |
| 1079 | <widget class="GtkTreeView" id="errorview"> |
| 1080 | <property name="height_request">202</property> |
| 1081 | <property name="visible">True</property> |
| 1082 | <property name="can_focus">True</property> |
| 1083 | <property name="headers_visible">True</property> |
| 1084 | <property name="rules_hint">False</property> |
| 1085 | <property name="reorderable">False</property> |
| 1086 | <property name="enable_search">True</property> |
| 1087 | <property name="fixed_height_mode">False</property> |
| 1088 | <property name="hover_selection">False</property> |
| 1089 | <property name="hover_expand">False</property> |
| 1090 | </widget> |
| 1091 | </child> |
| 1092 | </widget> |
| 1093 | <packing> |
| 1094 | <property name="tab_expand">False</property> |
| 1095 | <property name="tab_fill">True</property> |
| 1096 | </packing> |
| 1097 | </child> |
| 1098 | |
| 1099 | <child> |
| 1100 | <widget class="GtkLabel" id="errortab"> |
| 1101 | <property name="visible">True</property> |
| 1102 | <property name="label" translatable="yes">Errors / Warnings</property> |
| 1103 | <property name="use_underline">False</property> |
| 1104 | <property name="use_markup">False</property> |
| 1105 | <property name="justify">GTK_JUSTIFY_LEFT</property> |
| 1106 | <property name="wrap">False</property> |
| 1107 | <property name="selectable">False</property> |
| 1108 | <property name="xalign">0.5</property> |
| 1109 | <property name="yalign">0.5</property> |
| 1110 | <property name="xpad">0</property> |
| 1111 | <property name="ypad">0</property> |
| 1112 | <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property> |
| 1113 | <property name="width_chars">-1</property> |
| 1114 | <property name="single_line_mode">False</property> |
| 1115 | <property name="angle">0</property> |
| 1116 | </widget> |
| 1117 | <packing> |
| 1118 | <property name="type">tab</property> |
| 1119 | </packing> |
| 1120 | </child> |
| 1121 | </widget> |
| 1122 | <packing> |
| 1123 | <property name="shrink">True</property> |
| 1124 | <property name="resize">True</property> |
| 1125 | </packing> |
| 1126 | </child> |
| 1127 | </widget> |
| 1128 | <packing> |
| 1129 | <property name="padding">0</property> |
| 1130 | <property name="expand">True</property> |
| 1131 | <property name="fill">True</property> |
| 1132 | </packing> |
| 1133 | </child> |
| 1134 | |
| 1135 | <child> |
| 1136 | <widget class="GtkStatusbar" id="statusbar"> |
| 1137 | <property name="visible">True</property> |
| 1138 | <property name="has_resize_grip">True</property> |
| 1139 | </widget> |
| 1140 | <packing> |
| 1141 | <property name="padding">0</property> |
| 1142 | <property name="expand">False</property> |
| 1143 | <property name="fill">False</property> |
| 1144 | </packing> |
| 1145 | </child> |
| 1146 | </widget> |
| 1147 | </child> |
| 1148 | </widget> |
| 1149 | |
| 1150 | <widget class="GtkMenu" id="browsercontext"> |
| 1151 | |
| 1152 | <child> |
| 1153 | <widget class="GtkImageMenuItem" id="fix1"> |
| 1154 | <property name="visible">True</property> |
| 1155 | <property name="tooltip" translatable="yes">Make this a 'fixed' variable\n in the simulation</property> |
| 1156 | <property name="label" translatable="yes">_Fix</property> |
| 1157 | <property name="use_underline">True</property> |
| 1158 | <signal name="activate" handler="on_fix1_activate" last_modification_time="Thu, 17 Nov 2005 12:34:26 GMT"/> |
| 1159 | <accelerator key="f" modifiers="GDK_CONTROL_MASK" signal="activate"/> |
| 1160 | |
| 1161 | <child internal-child="image"> |
| 1162 | <widget class="GtkImage" id="image11"> |
| 1163 | <property name="visible">True</property> |
| 1164 | <property name="stock">gtk-yes</property> |
| 1165 | <property name="icon_size">1</property> |
| 1166 | <property name="xalign">0.5</property> |
| 1167 | <property name="yalign">0.5</property> |
| 1168 | <property name="xpad">0</property> |
| 1169 | <property name="ypad">0</property> |
| 1170 | </widget> |
| 1171 | </child> |
| 1172 | </widget> |
| 1173 | </child> |
| 1174 | |
| 1175 | <child> |
| 1176 | <widget class="GtkImageMenuItem" id="free1"> |
| 1177 | <property name="visible">True</property> |
| 1178 | <property name="tooltip" translatable="yes">Allow this variable to be varied\nwhen solving the system</property> |
| 1179 | <property name="label" translatable="yes">F_ree</property> |
| 1180 | <property name="use_underline">True</property> |
| 1181 | <signal name="activate" handler="on_free1_activate" last_modification_time="Thu, 17 Nov 2005 12:34:26 GMT"/> |
| 1182 | <accelerator key="r" modifiers="GDK_CONTROL_MASK" signal="activate"/> |
| 1183 | |
| 1184 | <child internal-child="image"> |
| 1185 | <widget class="GtkImage" id="image12"> |
| 1186 | <property name="visible">True</property> |
| 1187 | <property name="stock">gtk-no</property> |
| 1188 | <property name="icon_size">1</property> |
| 1189 | <property name="xalign">0.5</property> |
| 1190 | <property name="yalign">0.5</property> |
| 1191 | <property name="xpad">0</property> |
| 1192 | <property name="ypad">0</property> |
| 1193 | </widget> |
| 1194 | </child> |
| 1195 | </widget> |
| 1196 | </child> |
| 1197 | |
| 1198 | <child> |
| 1199 | <widget class="GtkSeparatorMenuItem" id="separator2"> |
| 1200 | <property name="visible">True</property> |
| 1201 | </widget> |
| 1202 | </child> |
| 1203 | |
| 1204 | <child> |
| 1205 | <widget class="GtkMenuItem" id="plot1"> |
| 1206 | <property name="visible">True</property> |
| 1207 | <property name="label" translatable="yes">_Plot</property> |
| 1208 | <property name="use_underline">True</property> |
| 1209 | <signal name="activate" handler="on_plot1_activate" last_modification_time="Fri, 06 Jan 2006 09:36:45 GMT"/> |
| 1210 | <accelerator key="p" modifiers="GDK_CONTROL_MASK" signal="activate"/> |
| 1211 | </widget> |
| 1212 | </child> |
| 1213 | </widget> |
| 1214 | |
| 1215 | <widget class="GtkWindow" id="paramswin_old"> |
| 1216 | <property name="visible">True</property> |
| 1217 | <property name="has_default">True</property> |
| 1218 | <property name="title" translatable="yes">Solver Parameters</property> |
| 1219 | <property name="type">GTK_WINDOW_TOPLEVEL</property> |
| 1220 | <property name="window_position">GTK_WIN_POS_NONE</property> |
| 1221 | <property name="modal">False</property> |
| 1222 | <property name="default_width">700</property> |
| 1223 | <property name="default_height">600</property> |
| 1224 | <property name="resizable">True</property> |
| 1225 | <property name="destroy_with_parent">False</property> |
| 1226 | <property name="icon_name">gtk-properties</property> |
| 1227 | <property name="decorated">True</property> |
| 1228 | <property name="skip_taskbar_hint">False</property> |
| 1229 | <property name="skip_pager_hint">False</property> |
| 1230 | <property name="type_hint">GDK_WINDOW_TYPE_HINT_NORMAL</property> |
| 1231 | <property name="gravity">GDK_GRAVITY_NORTH_WEST</property> |
| 1232 | <property name="focus_on_map">True</property> |
| 1233 | <property name="urgency_hint">False</property> |
| 1234 | <signal name="destroy" handler="on_paramswin_destroy" last_modification_time="Fri, 27 Jan 2006 05:15:10 GMT"/> |
| 1235 | |
| 1236 | <child> |
| 1237 | <widget class="GtkVBox" id="vbox6"> |
| 1238 | <property name="visible">True</property> |
| 1239 | <property name="homogeneous">False</property> |
| 1240 | <property name="spacing">0</property> |
| 1241 | |
| 1242 | <child> |
| 1243 | <widget class="GtkHBox" id="hbox6"> |
| 1244 | <property name="visible">True</property> |
| 1245 | <property name="homogeneous">False</property> |
| 1246 | <property name="spacing">0</property> |
| 1247 | |
| 1248 | <child> |
| 1249 | <widget class="GtkLabel" id="label11"> |
| 1250 | <property name="visible">True</property> |
| 1251 | <property name="label" translatable="yes"><b>Current solver:</b> </property> |
| 1252 | <property name="use_underline">False</property> |
| 1253 | <property name="use_markup">True</property> |
| 1254 | <property name="justify">GTK_JUSTIFY_LEFT</property> |
| 1255 | <property name="wrap">False</property> |
| 1256 | <property name="selectable">False</property> |
| 1257 | <property name="xalign">0.5</property> |
| 1258 | <property name="yalign">0.5</property> |
| 1259 | <property name="xpad">0</property> |
| 1260 | <property name="ypad">0</property> |
| 1261 | <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property> |
| 1262 | <property name="width_chars">-1</property> |
| 1263 | <property name="single_line_mode">False</property> |
| 1264 | <property name="angle">0</property> |
| 1265 | </widget> |
| 1266 | <packing> |
| 1267 | <property name="padding">0</property> |
| 1268 | <property name="expand">False</property> |
| 1269 | <property name="fill">False</property> |
| 1270 | </packing> |
| 1271 | </child> |
| 1272 | |
| 1273 | <child> |
| 1274 | <widget class="GtkLabel" id="solvername"> |
| 1275 | <property name="visible">True</property> |
| 1276 | <property name="label" translatable="yes">solvername </property> |
| 1277 | <property name="use_underline">False</property> |
| 1278 | <property name="use_markup">False</property> |
| 1279 | <property name="justify">GTK_JUSTIFY_LEFT</property> |
| 1280 | <property name="wrap">False</property> |
| 1281 | <property name="selectable">False</property> |
| 1282 | <property name="xalign">0.5</property> |
| 1283 | <property name="yalign">0.5</property> |
| 1284 | <property name="xpad">0</property> |
| 1285 | <property name="ypad">0</property> |
| 1286 | <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property> |
| 1287 | <property name="width_chars">-1</property> |
| 1288 | <property name="single_line_mode">False</property> |
| 1289 | <property name="angle">0</property> |
| 1290 | </widget> |
| 1291 | <packing> |
| 1292 | <property name="padding">0</property> |
| 1293 | <property name="expand">False</property> |
| 1294 | <property name="fill">False</property> |
| 1295 | </packing> |
| 1296 | </child> |
| 1297 | </widget> |
| 1298 | <packing> |
| 1299 | <property name="padding">14</property> |
| 1300 | <property name="expand">False</property> |
| 1301 | <property name="fill">True</property> |
| 1302 | </packing> |
| 1303 | </child> |
| 1304 | |
| 1305 | <child> |
| 1306 | <widget class="GtkScrolledWindow" id="scrolledwindow14"> |
| 1307 | <property name="visible">True</property> |
| 1308 | <property name="can_focus">True</property> |
| 1309 | <property name="hscrollbar_policy">GTK_POLICY_AUTOMATIC</property> |
| 1310 | <property name="vscrollbar_policy">GTK_POLICY_AUTOMATIC</property> |
| 1311 | <property name="shadow_type">GTK_SHADOW_IN</property> |
| 1312 | <property name="window_placement">GTK_CORNER_TOP_LEFT</property> |
| 1313 | |
| 1314 | <child> |
| 1315 | <widget class="GtkViewport" id="viewport3"> |
| 1316 | <property name="visible">True</property> |
| 1317 | <property name="shadow_type">GTK_SHADOW_IN</property> |
| 1318 | |
| 1319 | <child> |
| 1320 | <widget class="GtkTreeView" id="paramsview"> |
| 1321 | <property name="visible">True</property> |
| 1322 | <property name="can_focus">True</property> |
| 1323 | <property name="headers_visible">True</property> |
| 1324 | <property name="rules_hint">False</property> |
| 1325 | <property name="reorderable">False</property> |
| 1326 | <property name="enable_search">True</property> |
| 1327 | <property name="fixed_height_mode">False</property> |
| 1328 | <property name="hover_selection">False</property> |
| 1329 | <property name="hover_expand">False</property> |
| 1330 | <signal name="row_activated" handler="on_paramsview_row_activated" last_modification_time="Fri, 27 Jan 2006 05:56:55 GMT"/> |
| 1331 | <signal name="select_cursor_row" handler="on_paramsview_select_cursor_row" last_modification_time="Fri, 27 Jan 2006 07:21:36 GMT"/> |
| 1332 | <signal name="button_press_event" handler="on_paramsview_button_press_event" last_modification_time="Sat, 28 Jan 2006 01:46:18 GMT"/> |
| 1333 | <signal name="cursor_changed" handler="on_paramsview_cursor_changed" last_modification_time="Sat, 28 Jan 2006 03:40:50 GMT"/> |
| 1334 | </widget> |
| 1335 | </child> |
| 1336 | </widget> |
| 1337 | </child> |
| 1338 | </widget> |
| 1339 | <packing> |
| 1340 | <property name="padding">0</property> |
| 1341 | <property name="expand">True</property> |
| 1342 | <property name="fill">True</property> |
| 1343 | </packing> |
| 1344 | </child> |
| 1345 | |
| 1346 | <child> |
| 1347 | <widget class="GtkHBox" id="hbox4"> |
| 1348 | <property name="visible">True</property> |
| 1349 | <property name="homogeneous">False</property> |
| 1350 | <property name="spacing">8</property> |
| 1351 | </widget> |
| 1352 | <packing> |
| 1353 | <property name="padding">0</property> |
| 1354 | <property name="expand">False</property> |
| 1355 | <property name="fill">True</property> |
| 1356 | </packing> |
| 1357 | </child> |
| 1358 | |
| 1359 | <child> |
| 1360 | <widget class="GtkFrame" id="frame2"> |
| 1361 | <property name="visible">True</property> |
| 1362 | <property name="label_xalign">0</property> |
| 1363 | <property name="label_yalign">0.5</property> |
| 1364 | <property name="shadow_type">GTK_SHADOW_NONE</property> |
| 1365 | |
| 1366 | <child> |
| 1367 | <widget class="GtkAlignment" id="alignment2"> |
| 1368 | <property name="visible">True</property> |
| 1369 | <property name="xalign">0.5</property> |
| 1370 | <property name="yalign">0.5</property> |
| 1371 | <property name="xscale">1</property> |
| 1372 | <property name="yscale">1</property> |
| 1373 | <property name="top_padding">0</property> |
| 1374 | <property name="bottom_padding">0</property> |
| 1375 | <property name="left_padding">12</property> |
| 1376 | <property name="right_padding">0</property> |
| 1377 | |
| 1378 | <child> |
| 1379 | <widget class="GtkLabel" id="paramdescription"> |
| 1380 | <property name="visible">True</property> |
| 1381 | <property name="label" translatable="yes">To edit a paramer, select the row you want then click the 'value' column.</property> |
| 1382 | <property name="use_underline">False</property> |
| 1383 | <property name="use_markup">False</property> |
| 1384 | <property name="justify">GTK_JUSTIFY_LEFT</property> |
| 1385 | <property name="wrap">False</property> |
| 1386 | <property name="selectable">False</property> |
| 1387 | <property name="xalign">0</property> |
| 1388 | <property name="yalign">0.5</property> |
| 1389 | <property name="xpad">10</property> |
| 1390 | <property name="ypad">10</property> |
| 1391 | <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property> |
| 1392 | <property name="width_chars">-1</property> |
| 1393 | <property name="single_line_mode">False</property> |
| 1394 | <property name="angle">0</property> |
| 1395 | </widget> |
| 1396 | </child> |
| 1397 | </widget> |
| 1398 | </child> |
| 1399 | |
| 1400 | <child> |
| 1401 | <widget class="GtkLabel" id="label13"> |
| 1402 | <property name="visible">True</property> |
| 1403 | <property name="label" translatable="yes">Parameter info</property> |
| 1404 | <property name="use_underline">False</property> |
| 1405 | <property name="use_markup">True</property> |
| 1406 | <property name="justify">GTK_JUSTIFY_LEFT</property> |
| 1407 | <property name="wrap">False</property> |
| 1408 | <property name="selectable">False</property> |
| 1409 | <property name="xalign">0.5</property> |
| 1410 | <property name="yalign">0.5</property> |
| 1411 | <property name="xpad">0</property> |
| 1412 | <property name="ypad">0</property> |
| 1413 | <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property> |
| 1414 | <property name="width_chars">-1</property> |
| 1415 | <property name="single_line_mode">False</property> |
| 1416 | <property name="angle">0</property> |
| 1417 | </widget> |
| 1418 | <packing> |
| 1419 | <property name="type">label_item</property> |
| 1420 | </packing> |
| 1421 | </child> |
| 1422 | </widget> |
| 1423 | <packing> |
| 1424 | <property name="padding">8</property> |
| 1425 | <property name="expand">False</property> |
| 1426 | <property name="fill">False</property> |
| 1427 | </packing> |
| 1428 | </child> |
| 1429 | |
| 1430 | <child> |
| 1431 | <widget class="GtkHBox" id="hbox5"> |
| 1432 | <property name="visible">True</property> |
| 1433 | <property name="homogeneous">True</property> |
| 1434 | <property name="spacing">8</property> |
| 1435 | |
| 1436 | <child> |
| 1437 | <widget class="GtkButton" id="paramsapply"> |
| 1438 | <property name="visible">True</property> |
| 1439 | <property name="can_focus">True</property> |
| 1440 | <property name="label">gtk-apply</property> |
| 1441 | <property name="use_stock">True</property> |
| 1442 | <property name="relief">GTK_RELIEF_NORMAL</property> |
| 1443 | <property name="focus_on_click">True</property> |
| 1444 | <signal name="clicked" handler="on_paramsapply_clicked" last_modification_time="Sat, 28 Jan 2006 04:38:49 GMT"/> |
| 1445 | </widget> |
| 1446 | <packing> |
| 1447 | <property name="padding">0</property> |
| 1448 | <property name="expand">False</property> |
| 1449 | <property name="fill">False</property> |
| 1450 | <property name="pack_type">GTK_PACK_END</property> |
| 1451 | </packing> |
| 1452 | </child> |
| 1453 | |
| 1454 | <child> |
| 1455 | <widget class="GtkButton" id="paramscancel"> |
| 1456 | <property name="visible">True</property> |
| 1457 | <property name="can_focus">True</property> |
| 1458 | <property name="label">gtk-cancel</property> |
| 1459 | <property name="use_stock">True</property> |
| 1460 | <property name="relief">GTK_RELIEF_NORMAL</property> |
| 1461 | <property name="focus_on_click">True</property> |
| 1462 | <signal name="clicked" handler="on_paramscancel_clicked" last_modification_time="Sat, 28 Jan 2006 04:38:40 GMT"/> |
| 1463 | </widget> |
| 1464 | <packing> |
| 1465 | <property name="padding">0</property> |
| 1466 | <property name="expand">False</property> |
| 1467 | <property name="fill">False</property> |
| 1468 | <property name="pack_type">GTK_PACK_END</property> |
| 1469 | </packing> |
| 1470 | </child> |
| 1471 | </widget> |
| 1472 | <packing> |
| 1473 | <property name="padding">0</property> |
| 1474 | <property name="expand">False</property> |
| 1475 | <property name="fill">False</property> |
| 1476 | </packing> |
| 1477 | </child> |
| 1478 | </widget> |
| 1479 | </child> |
| 1480 | </widget> |
| 1481 | |
| 1482 | <widget class="GtkDialog" id="boundsdialog"> |
| 1483 | <property name="visible">True</property> |
| 1484 | <property name="title" translatable="yes">Out of bounds</property> |
| 1485 | <property name="type">GTK_WINDOW_TOPLEVEL</property> |
| 1486 | <property name="window_position">GTK_WIN_POS_NONE</property> |
| 1487 | <property name="modal">False</property> |
| 1488 | <property name="resizable">True</property> |
| 1489 | <property name="destroy_with_parent">False</property> |
| 1490 | <property name="decorated">True</property> |
| 1491 | <property name="skip_taskbar_hint">False</property> |
| 1492 | <property name="skip_pager_hint">False</property> |
| 1493 | <property name="type_hint">GDK_WINDOW_TYPE_HINT_DIALOG</property> |
| 1494 | <property name="gravity">GDK_GRAVITY_NORTH_WEST</property> |
| 1495 | <property name="focus_on_map">True</property> |
| 1496 | <property name="urgency_hint">False</property> |
| 1497 | <property name="has_separator">True</property> |
| 1498 | |
| 1499 | <child internal-child="vbox"> |
| 1500 | <widget class="GtkVBox" id="dialog-vbox1"> |
| 1501 | <property name="visible">True</property> |
| 1502 | <property name="homogeneous">False</property> |
| 1503 | <property name="spacing">0</property> |
| 1504 | |
| 1505 | <child internal-child="action_area"> |
| 1506 | <widget class="GtkHButtonBox" id="dialog-action_area1"> |
| 1507 | <property name="visible">True</property> |
| 1508 | <property name="layout_style">GTK_BUTTONBOX_END</property> |
| 1509 | |
| 1510 | <child> |
| 1511 | <widget class="GtkButton" id="okbutton1"> |
| 1512 | <property name="visible">True</property> |
| 1513 | <property name="can_default">True</property> |
| 1514 | <property name="can_focus">True</property> |
| 1515 | <property name="label">gtk-ok</property> |
| 1516 | <property name="use_stock">True</property> |
| 1517 | <property name="relief">GTK_RELIEF_NORMAL</property> |
| 1518 | <property name="focus_on_click">True</property> |
| 1519 | <property name="response_id">-5</property> |
| 1520 | </widget> |
| 1521 | </child> |
| 1522 | </widget> |
| 1523 | <packing> |
| 1524 | <property name="padding">0</property> |
| 1525 | <property name="expand">False</property> |
| 1526 | <property name="fill">True</property> |
| 1527 | <property name="pack_type">GTK_PACK_END</property> |
| 1528 | </packing> |
| 1529 | </child> |
| 1530 | |
| 1531 | <child> |
| 1532 | <widget class="GtkLabel" id="msg"> |
| 1533 | <property name="visible">True</property> |
| 1534 | <property name="label" translatable="yes">Please enter a value that lies within the |
| 1535 | upper and lower bounds displayed.</property> |
| 1536 | <property name="use_underline">False</property> |
| 1537 | <property name="use_markup">True</property> |
| 1538 | <property name="justify">GTK_JUSTIFY_LEFT</property> |
| 1539 | <property name="wrap">False</property> |
| 1540 | <property name="selectable">False</property> |
| 1541 | <property name="xalign">0</property> |
| 1542 | <property name="yalign">0.5</property> |
| 1543 | <property name="xpad">8</property> |
| 1544 | <property name="ypad">8</property> |
| 1545 | <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property> |
| 1546 | <property name="width_chars">-1</property> |
| 1547 | <property name="single_line_mode">False</property> |
| 1548 | <property name="angle">0</property> |
| 1549 | </widget> |
| 1550 | <packing> |
| 1551 | <property name="padding">0</property> |
| 1552 | <property name="expand">False</property> |
| 1553 | <property name="fill">False</property> |
| 1554 | </packing> |
| 1555 | </child> |
| 1556 | </widget> |
| 1557 | </child> |
| 1558 | </widget> |
| 1559 | |
| 1560 | <widget class="GtkMenu" id="menu8"> |
| 1561 | |
| 1562 | <child> |
| 1563 | <widget class="GtkImageMenuItem" id="copy2"> |
| 1564 | <property name="visible">True</property> |
| 1565 | <property name="label" translatable="yes">Copy</property> |
| 1566 | <property name="use_underline">True</property> |
| 1567 | <signal name="activate" handler="on_copy2_activate" last_modification_time="Sun, 13 Nov 2005 07:45:55 GMT"/> |
| 1568 | |
| 1569 | <child internal-child="image"> |
| 1570 | <widget class="GtkImage" id="image6"> |
| 1571 | <property name="visible">True</property> |
| 1572 | <property name="stock">gtk-copy</property> |
| 1573 | <property name="icon_size">1</property> |
| 1574 | <property name="xalign">0.5</property> |
| 1575 | <property name="yalign">0.5</property> |
| 1576 | <property name="xpad">0</property> |
| 1577 | <property name="ypad">0</property> |
| 1578 | </widget> |
| 1579 | </child> |
| 1580 | </widget> |
| 1581 | </child> |
| 1582 | |
| 1583 | <child> |
| 1584 | <widget class="GtkImageMenuItem" id="clear_all1"> |
| 1585 | <property name="visible">True</property> |
| 1586 | <property name="label" translatable="yes">Clear all</property> |
| 1587 | <property name="use_underline">True</property> |
| 1588 | <signal name="activate" handler="on_clear_all1_activate" last_modification_time="Sun, 13 Nov 2005 07:45:55 GMT"/> |
| 1589 | |
| 1590 | <child internal-child="image"> |
| 1591 | <widget class="GtkImage" id="image7"> |
| 1592 | <property name="visible">True</property> |
| 1593 | <property name="stock">gtk-clear</property> |
| 1594 | <property name="icon_size">1</property> |
| 1595 | <property name="xalign">0.5</property> |
| 1596 | <property name="yalign">0.5</property> |
| 1597 | <property name="xpad">0</property> |
| 1598 | <property name="ypad">0</property> |
| 1599 | </widget> |
| 1600 | </child> |
| 1601 | </widget> |
| 1602 | </child> |
| 1603 | </widget> |
| 1604 | |
| 1605 | <widget class="GtkWindow" id="observerwin"> |
| 1606 | <property name="visible">True</property> |
| 1607 | <property name="title" translatable="yes">window1</property> |
| 1608 | <property name="type">GTK_WINDOW_TOPLEVEL</property> |
| 1609 | <property name="window_position">GTK_WIN_POS_NONE</property> |
| 1610 | <property name="modal">False</property> |
| 1611 | <property name="default_width">600</property> |
| 1612 | <property name="default_height">400</property> |
| 1613 | <property name="resizable">True</property> |
| 1614 | <property name="destroy_with_parent">False</property> |
| 1615 | <property name="decorated">True</property> |
| 1616 | <property name="skip_taskbar_hint">False</property> |
| 1617 | <property name="skip_pager_hint">False</property> |
| 1618 | <property name="type_hint">GDK_WINDOW_TYPE_HINT_NORMAL</property> |
| 1619 | <property name="gravity">GDK_GRAVITY_NORTH_WEST</property> |
| 1620 | <property name="focus_on_map">True</property> |
| 1621 | <property name="urgency_hint">False</property> |
| 1622 | |
| 1623 | <child> |
| 1624 | <widget class="GtkVBox" id="observervbox"> |
| 1625 | <property name="visible">True</property> |
| 1626 | <property name="homogeneous">False</property> |
| 1627 | <property name="spacing">0</property> |
| 1628 | |
| 1629 | <child> |
| 1630 | <widget class="GtkToolbar" id="toolbar4"> |
| 1631 | <property name="visible">True</property> |
| 1632 | <property name="orientation">GTK_ORIENTATION_HORIZONTAL</property> |
| 1633 | <property name="toolbar_style">GTK_TOOLBAR_BOTH</property> |
| 1634 | <property name="tooltips">True</property> |
| 1635 | <property name="show_arrow">True</property> |
| 1636 | |
| 1637 | <child> |
| 1638 | <widget class="GtkToolItem" id="toolitem4"> |
| 1639 | <property name="visible">True</property> |
| 1640 | <property name="visible_horizontal">True</property> |
| 1641 | <property name="visible_vertical">True</property> |
| 1642 | <property name="is_important">False</property> |
| 1643 | |
| 1644 | <child> |
| 1645 | <widget class="GtkButton" id="add"> |
| 1646 | <property name="border_width">3</property> |
| 1647 | <property name="visible">True</property> |
| 1648 | <property name="can_focus">True</property> |
| 1649 | <property name="label">gtk-add</property> |
| 1650 | <property name="use_stock">True</property> |
| 1651 | <property name="relief">GTK_RELIEF_NORMAL</property> |
| 1652 | <property name="focus_on_click">True</property> |
| 1653 | <signal name="clicked" handler="on_add_clicked" last_modification_time="Wed, 01 Feb 2006 02:15:47 GMT"/> |
| 1654 | </widget> |
| 1655 | </child> |
| 1656 | </widget> |
| 1657 | <packing> |
| 1658 | <property name="expand">False</property> |
| 1659 | <property name="homogeneous">False</property> |
| 1660 | </packing> |
| 1661 | </child> |
| 1662 | |
| 1663 | <child> |
| 1664 | <widget class="GtkToolItem" id="toolitem5"> |
| 1665 | <property name="visible">True</property> |
| 1666 | <property name="visible_horizontal">True</property> |
| 1667 | <property name="visible_vertical">True</property> |
| 1668 | <property name="is_important">False</property> |
| 1669 | |
| 1670 | <child> |
| 1671 | <widget class="GtkButton" id="clear"> |
| 1672 | <property name="border_width">3</property> |
| 1673 | <property name="visible">True</property> |
| 1674 | <property name="can_focus">True</property> |
| 1675 | <property name="label">gtk-clear</property> |
| 1676 | <property name="use_stock">True</property> |
| 1677 | <property name="relief">GTK_RELIEF_NORMAL</property> |
| 1678 | <property name="focus_on_click">True</property> |
| 1679 | <signal name="clicked" handler="on_clear_clicked" last_modification_time="Wed, 01 Feb 2006 02:15:52 GMT"/> |
| 1680 | </widget> |
| 1681 | </child> |
| 1682 | </widget> |
| 1683 | <packing> |
| 1684 | <property name="expand">False</property> |
| 1685 | <property name="homogeneous">False</property> |
| 1686 | </packing> |
| 1687 | </child> |
| 1688 | |
| 1689 | <child> |
| 1690 | <widget class="GtkToolItem" id="toolitem7"> |
| 1691 | <property name="visible">True</property> |
| 1692 | <property name="visible_horizontal">True</property> |
| 1693 | <property name="visible_vertical">True</property> |
| 1694 | <property name="is_important">False</property> |
| 1695 | |
| 1696 | <child> |
| 1697 | <widget class="GtkLabel" id="label17"> |
| 1698 | <property name="visible">True</property> |
| 1699 | <property name="label">To add columns here, right-click variables in the Simulation tab.</property> |
| 1700 | <property name="use_underline">False</property> |
| 1701 | <property name="use_markup">False</property> |
| 1702 | <property name="justify">GTK_JUSTIFY_LEFT</property> |
| 1703 | <property name="wrap">False</property> |
| 1704 | <property name="selectable">False</property> |
| 1705 | <property name="xalign">0.5</property> |
| 1706 | <property name="yalign">0.5</property> |
| 1707 | <property name="xpad">3</property> |
| 1708 | <property name="ypad">0</property> |
| 1709 | <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property> |
| 1710 | <property name="width_chars">-1</property> |
| 1711 | <property name="single_line_mode">False</property> |
| 1712 | <property name="angle">0</property> |
| 1713 | </widget> |
| 1714 | </child> |
| 1715 | </widget> |
| 1716 | <packing> |
| 1717 | <property name="expand">False</property> |
| 1718 | <property name="homogeneous">False</property> |
| 1719 | </packing> |
| 1720 | </child> |
| 1721 | |
| 1722 | <child> |
| 1723 | <widget class="GtkToolItem" id="toolitem6"> |
| 1724 | <property name="visible">True</property> |
| 1725 | <property name="visible_horizontal">True</property> |
| 1726 | <property name="visible_vertical">True</property> |
| 1727 | <property name="is_important">False</property> |
| 1728 | |
| 1729 | <child> |
| 1730 | <widget class="GtkLabel" id="label16"> |
| 1731 | <property name="visible">True</property> |
| 1732 | <property name="label" translatable="yes">To add columns here, right-click variables in the 'simulation' tab, and click 'observe'</property> |
| 1733 | <property name="use_underline">False</property> |
| 1734 | <property name="use_markup">False</property> |
| 1735 | <property name="justify">GTK_JUSTIFY_LEFT</property> |
| 1736 | <property name="wrap">False</property> |
| 1737 | <property name="selectable">False</property> |
| 1738 | <property name="xalign">0.5</property> |
| 1739 | <property name="yalign">0.5</property> |
| 1740 | <property name="xpad">0</property> |
| 1741 | <property name="ypad">0</property> |
| 1742 | <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property> |
| 1743 | <property name="width_chars">-1</property> |
| 1744 | <property name="single_line_mode">False</property> |
| 1745 | <property name="angle">0</property> |
| 1746 | </widget> |
| 1747 | </child> |
| 1748 | </widget> |
| 1749 | <packing> |
| 1750 | <property name="expand">False</property> |
| 1751 | <property name="homogeneous">False</property> |
| 1752 | </packing> |
| 1753 | </child> |
| 1754 | </widget> |
| 1755 | <packing> |
| 1756 | <property name="padding">0</property> |
| 1757 | <property name="expand">False</property> |
| 1758 | <property name="fill">False</property> |
| 1759 | </packing> |
| 1760 | </child> |
| 1761 | |
| 1762 | <child> |
| 1763 | <widget class="GtkScrolledWindow" id="scrolledwindow15"> |
| 1764 | <property name="visible">True</property> |
| 1765 | <property name="can_focus">True</property> |
| 1766 | <property name="hscrollbar_policy">GTK_POLICY_AUTOMATIC</property> |
| 1767 | <property name="vscrollbar_policy">GTK_POLICY_AUTOMATIC</property> |
| 1768 | <property name="shadow_type">GTK_SHADOW_IN</property> |
| 1769 | <property name="window_placement">GTK_CORNER_TOP_LEFT</property> |
| 1770 | |
| 1771 | <child> |
| 1772 | <widget class="GtkTreeView" id="observerview"> |
| 1773 | <property name="visible">True</property> |
| 1774 | <property name="can_focus">True</property> |
| 1775 | <property name="headers_visible">True</property> |
| 1776 | <property name="rules_hint">False</property> |
| 1777 | <property name="reorderable">False</property> |
| 1778 | <property name="enable_search">True</property> |
| 1779 | <property name="fixed_height_mode">False</property> |
| 1780 | <property name="hover_selection">False</property> |
| 1781 | <property name="hover_expand">False</property> |
| 1782 | </widget> |
| 1783 | </child> |
| 1784 | </widget> |
| 1785 | <packing> |
| 1786 | <property name="padding">0</property> |
| 1787 | <property name="expand">True</property> |
| 1788 | <property name="fill">True</property> |
| 1789 | </packing> |
| 1790 | </child> |
| 1791 | </widget> |
| 1792 | </child> |
| 1793 | </widget> |
| 1794 | |
| 1795 | <widget class="GtkDialog" id="varpropswin"> |
| 1796 | <property name="visible">True</property> |
| 1797 | <property name="title" translatable="yes">Variable</property> |
| 1798 | <property name="type">GTK_WINDOW_TOPLEVEL</property> |
| 1799 | <property name="window_position">GTK_WIN_POS_CENTER_ON_PARENT</property> |
| 1800 | <property name="modal">False</property> |
| 1801 | <property name="resizable">True</property> |
| 1802 | <property name="destroy_with_parent">False</property> |
| 1803 | <property name="icon">properties.png</property> |
| 1804 | <property name="decorated">True</property> |
| 1805 | <property name="skip_taskbar_hint">True</property> |
| 1806 | <property name="skip_pager_hint">False</property> |
| 1807 | <property name="type_hint">GDK_WINDOW_TYPE_HINT_DIALOG</property> |
| 1808 | <property name="gravity">GDK_GRAVITY_NORTH_WEST</property> |
| 1809 | <property name="focus_on_map">True</property> |
| 1810 | <property name="urgency_hint">False</property> |
| 1811 | <property name="has_separator">True</property> |
| 1812 | <signal name="delete_event" handler="on_varpropswin_close" last_modification_time="Sat, 04 Feb 2006 06:47:24 GMT"/> |
| 1813 | <signal name="close" handler="on_varpropswin_close" last_modification_time="Sat, 04 Feb 2006 06:47:44 GMT"/> |
| 1814 | <signal name="response" handler="on_varpropswin_response" last_modification_time="Sat, 04 Feb 2006 06:48:00 GMT"/> |
| 1815 | |
| 1816 | <child internal-child="vbox"> |
| 1817 | <widget class="GtkVBox" id="dialog-vbox4"> |
| 1818 | <property name="visible">True</property> |
| 1819 | <property name="homogeneous">False</property> |
| 1820 | <property name="spacing">0</property> |
| 1821 | |
| 1822 | <child internal-child="action_area"> |
| 1823 | <widget class="GtkHButtonBox" id="dialog-action_area4"> |
| 1824 | <property name="visible">True</property> |
| 1825 | <property name="layout_style">GTK_BUTTONBOX_END</property> |
| 1826 | |
| 1827 | <child> |
| 1828 | <widget class="GtkButton" id="cancelbutton"> |
| 1829 | <property name="visible">True</property> |
| 1830 | <property name="can_default">True</property> |
| 1831 | <property name="can_focus">True</property> |
| 1832 | <property name="label">gtk-cancel</property> |
| 1833 | <property name="use_stock">True</property> |
| 1834 | <property name="relief">GTK_RELIEF_NORMAL</property> |
| 1835 | <property name="focus_on_click">True</property> |
| 1836 | <property name="response_id">-6</property> |
| 1837 | <signal name="clicked" handler="on_cancelbutton_clicked" last_modification_time="Sat, 04 Feb 2006 02:24:28 GMT"/> |
| 1838 | </widget> |
| 1839 | </child> |
| 1840 | |
| 1841 | <child> |
| 1842 | <widget class="GtkButton" id="applybutton"> |
| 1843 | <property name="visible">True</property> |
| 1844 | <property name="can_default">True</property> |
| 1845 | <property name="can_focus">True</property> |
| 1846 | <property name="label">gtk-apply</property> |
| 1847 | <property name="use_stock">True</property> |
| 1848 | <property name="relief">GTK_RELIEF_NORMAL</property> |
| 1849 | <property name="focus_on_click">True</property> |
| 1850 | <property name="response_id">-10</property> |
| 1851 | <signal name="clicked" handler="on_okbutton_clicked" last_modification_time="Sat, 04 Feb 2006 02:24:21 GMT"/> |
| 1852 | </widget> |
| 1853 | </child> |
| 1854 | |
| 1855 | <child> |
| 1856 | <widget class="GtkButton" id="okbutton"> |
| 1857 | <property name="visible">True</property> |
| 1858 | <property name="can_default">True</property> |
| 1859 | <property name="can_focus">True</property> |
| 1860 | <property name="label">gtk-ok</property> |
| 1861 | <property name="use_stock">True</property> |
| 1862 | <property name="relief">GTK_RELIEF_NORMAL</property> |
| 1863 | <property name="focus_on_click">True</property> |
| 1864 | <property name="response_id">-5</property> |
| 1865 | </widget> |
| 1866 | </child> |
| 1867 | </widget> |
| 1868 | <packing> |
| 1869 | <property name="padding">0</property> |
| 1870 | <property name="expand">False</property> |
| 1871 | <property name="fill">True</property> |
| 1872 | <property name="pack_type">GTK_PACK_END</property> |
| 1873 | </packing> |
| 1874 | </child> |
| 1875 | |
| 1876 | <child> |
| 1877 | <widget class="GtkTable" id="table1"> |
| 1878 | <property name="visible">True</property> |
| 1879 | <property name="n_rows">10</property> |
| 1880 | <property name="n_columns">2</property> |
| 1881 | <property name="homogeneous">False</property> |
| 1882 | <property name="row_spacing">5</property> |
| 1883 | <property name="column_spacing">5</property> |
| 1884 | |
| 1885 | <child> |
| 1886 | <widget class="GtkLabel" id="label22"> |
| 1887 | <property name="visible">True</property> |
| 1888 | <property name="label" translatable="yes">Value</property> |
| 1889 | <property name="use_underline">False</property> |
| 1890 | <property name="use_markup">False</property> |
| 1891 | <property name="justify">GTK_JUSTIFY_LEFT</property> |
| 1892 | <property name="wrap">False</property> |
| 1893 | <property name="selectable">False</property> |
| 1894 | <property name="xalign">0</property> |
| 1895 | <property name="yalign">0.5</property> |
| 1896 | <property name="xpad">0</property> |
| 1897 | <property name="ypad">0</property> |
| 1898 | <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property> |
| 1899 | <property name="width_chars">-1</property> |
| 1900 | <property name="single_line_mode">False</property> |
| 1901 | <property name="angle">0</property> |
| 1902 | </widget> |
| 1903 | <packing> |
| 1904 | <property name="left_attach">0</property> |
| 1905 | <property name="right_attach">1</property> |
| 1906 | <property name="top_attach">4</property> |
| 1907 | <property name="bottom_attach">5</property> |
| 1908 | <property name="x_options">fill</property> |
| 1909 | <property name="y_options"></property> |
| 1910 | </packing> |
| 1911 | </child> |
| 1912 | |
| 1913 | <child> |
| 1914 | <widget class="GtkLabel" id="label24"> |
| 1915 | <property name="visible">True</property> |
| 1916 | <property name="label" translatable="yes">Lower bound</property> |
| 1917 | <property name="use_underline">False</property> |
| 1918 | <property name="use_markup">False</property> |
| 1919 | <property name="justify">GTK_JUSTIFY_LEFT</property> |
| 1920 | <property name="wrap">False</property> |
| 1921 | <property name="selectable">False</property> |
| 1922 | <property name="xalign">0</property> |
| 1923 | <property name="yalign">0.5</property> |
| 1924 | <property name="xpad">0</property> |
| 1925 | <property name="ypad">0</property> |
| 1926 | <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property> |
| 1927 | <property name="width_chars">-1</property> |
| 1928 | <property name="single_line_mode">False</property> |
| 1929 | <property name="angle">0</property> |
| 1930 | </widget> |
| 1931 | <packing> |
| 1932 | <property name="left_attach">0</property> |
| 1933 | <property name="right_attach">1</property> |
| 1934 | <property name="top_attach">5</property> |
| 1935 | <property name="bottom_attach">6</property> |
| 1936 | <property name="x_options">fill</property> |
| 1937 | <property name="y_options"></property> |
| 1938 | </packing> |
| 1939 | </child> |
| 1940 | |
| 1941 | <child> |
| 1942 | <widget class="GtkLabel" id="label25"> |
| 1943 | <property name="visible">True</property> |
| 1944 | <property name="label" translatable="yes">Upper bound</property> |
| 1945 | <property name="use_underline">False</property> |
| 1946 | <property name="use_markup">False</property> |
| 1947 | <property name="justify">GTK_JUSTIFY_LEFT</property> |
| 1948 | <property name="wrap">False</property> |
| 1949 | <property name="selectable">False</property> |
| 1950 | <property name="xalign">0</property> |
| 1951 | <property name="yalign">0.5</property> |
| 1952 | <property name="xpad">0</property> |
| 1953 | <property name="ypad">0</property> |
| 1954 | <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property> |
| 1955 | <property name="width_chars">-1</property> |
| 1956 | <property name="single_line_mode">False</property> |
| 1957 | <property name="angle">0</property> |
| 1958 | </widget> |
| 1959 | <packing> |
| 1960 | <property name="left_attach">0</property> |
| 1961 | <property name="right_attach">1</property> |
| 1962 | <property name="top_attach">6</property> |
| 1963 | <property name="bottom_attach">7</property> |
| 1964 | <property name="x_options">fill</property> |
| 1965 | <property name="y_options"></property> |
| 1966 | </packing> |
| 1967 | </child> |
| 1968 | |
| 1969 | <child> |
| 1970 | <widget class="GtkLabel" id="label26"> |
| 1971 | <property name="visible">True</property> |
| 1972 | <property name="label" translatable="yes">Solving... </property> |
| 1973 | <property name="use_underline">False</property> |
| 1974 | <property name="use_markup">False</property> |
| 1975 | <property name="justify">GTK_JUSTIFY_LEFT</property> |
| 1976 | <property name="wrap">False</property> |
| 1977 | <property name="selectable">False</property> |
| 1978 | <property name="xalign">0</property> |
| 1979 | <property name="yalign">0.5</property> |
| 1980 | <property name="xpad">0</property> |
| 1981 | <property name="ypad">0</property> |
| 1982 | <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property> |
| 1983 | <property name="width_chars">-1</property> |
| 1984 | <property name="single_line_mode">False</property> |
| 1985 | <property name="angle">0</property> |
| 1986 | </widget> |
| 1987 | <packing> |
| 1988 | <property name="left_attach">0</property> |
| 1989 | <property name="right_attach">1</property> |
| 1990 | <property name="top_attach">9</property> |
| 1991 | <property name="bottom_attach">10</property> |
| 1992 | <property name="x_options">fill</property> |
| 1993 | <property name="y_options"></property> |
| 1994 | </packing> |
| 1995 | </child> |
| 1996 | |
| 1997 | <child> |
| 1998 | <widget class="GtkVBox" id="vbox7"> |
| 1999 | <property name="visible">True</property> |
| 2000 | <property name="homogeneous">False</property> |
| 2001 | <property name="spacing">0</property> |
| 2002 | |
| 2003 | <child> |
| 2004 | <widget class="GtkLabel" id="varname"> |
| 2005 | <property name="visible">True</property> |
| 2006 | <property name="label" translatable="yes">variable.name[245].here.value</property> |
| 2007 | <property name="use_underline">False</property> |
| 2008 | <property name="use_markup">False</property> |
| 2009 | <property name="justify">GTK_JUSTIFY_LEFT</property> |
| 2010 | <property name="wrap">False</property> |
| 2011 | <property name="selectable">False</property> |
| 2012 | <property name="xalign">0</property> |
| 2013 | <property name="yalign">0.5</property> |
| 2014 | <property name="xpad">0</property> |
| 2015 | <property name="ypad">4</property> |
| 2016 | <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property> |
| 2017 | <property name="width_chars">-1</property> |
| 2018 | <property name="single_line_mode">False</property> |
| 2019 | <property name="angle">0</property> |
| 2020 | </widget> |
| 2021 | <packing> |
| 2022 | <property name="padding">6</property> |
| 2023 | <property name="expand">False</property> |
| 2024 | <property name="fill">False</property> |
| 2025 | </packing> |
| 2026 | </child> |
| 2027 | |
| 2028 | <child> |
| 2029 | <widget class="GtkHBox" id="hbox8"> |
| 2030 | <property name="visible">True</property> |
| 2031 | <property name="homogeneous">False</property> |
| 2032 | <property name="spacing">0</property> |
| 2033 | |
| 2034 | <child> |
| 2035 | <widget class="GtkHBox" id="hbox10"> |
| 2036 | <property name="visible">True</property> |
| 2037 | <property name="homogeneous">False</property> |
| 2038 | <property name="spacing">0</property> |
| 2039 | |
| 2040 | <child> |
| 2041 | <widget class="GtkButton" id="cliquebutton"> |
| 2042 | <property name="visible">True</property> |
| 2043 | <property name="can_focus">True</property> |
| 2044 | <property name="label" translatable="yes">Cl_ique...</property> |
| 2045 | <property name="use_underline">True</property> |
| 2046 | <property name="relief">GTK_RELIEF_NORMAL</property> |
| 2047 | <property name="focus_on_click">True</property> |
| 2048 | <signal name="clicked" handler="on_cliquebutton_clicked" last_modification_time="Tue, 04 Jul 2006 12:44:12 GMT"/> |
| 2049 | </widget> |
| 2050 | <packing> |
| 2051 | <property name="padding">0</property> |
| 2052 | <property name="expand">False</property> |
| 2053 | <property name="fill">False</property> |
| 2054 | </packing> |
| 2055 | </child> |
| 2056 | |
| 2057 | <child> |
| 2058 | <widget class="GtkButton" id="morepropsbutton"> |
| 2059 | <property name="visible">True</property> |
| 2060 | <property name="can_focus">True</property> |
| 2061 | <property name="label" translatable="yes">_More properties...</property> |
| 2062 | <property name="use_underline">True</property> |
| 2063 | <property name="relief">GTK_RELIEF_NORMAL</property> |
| 2064 | <property name="focus_on_click">True</property> |
| 2065 | <signal name="clicked" handler="on_morepropsbutton_clicked" last_modification_time="Wed, 25 Oct 2006 11:37:46 GMT"/> |
| 2066 | </widget> |
| 2067 | <packing> |
| 2068 | <property name="padding">0</property> |
| 2069 | <property name="expand">False</property> |
| 2070 | <property name="fill">False</property> |
| 2071 | </packing> |
| 2072 | </child> |
| 2073 | </widget> |
| 2074 | <packing> |
| 2075 | <property name="padding">0</property> |
| 2076 | <property name="expand">True</property> |
| 2077 | <property name="fill">True</property> |
| 2078 | </packing> |
| 2079 | </child> |
| 2080 | </widget> |
| 2081 | <packing> |
| 2082 | <property name="padding">0</property> |
| 2083 | <property name="expand">True</property> |
| 2084 | <property name="fill">True</property> |
| 2085 | <property name="pack_type">GTK_PACK_END</property> |
| 2086 | </packing> |
| 2087 | </child> |
| 2088 | </widget> |
| 2089 | <packing> |
| 2090 | <property name="left_attach">1</property> |
| 2091 | <property name="right_attach">2</property> |
| 2092 | <property name="top_attach">0</property> |
| 2093 | <property name="bottom_attach">1</property> |
| 2094 | <property name="x_options">fill</property> |
| 2095 | <property name="y_options">fill</property> |
| 2096 | </packing> |
| 2097 | </child> |
| 2098 | |
| 2099 | <child> |
| 2100 | <widget class="GtkHSeparator" id="hseparator1"> |
| 2101 | <property name="visible">True</property> |
| 2102 | </widget> |
| 2103 | <packing> |
| 2104 | <property name="left_attach">1</property> |
| 2105 | <property name="right_attach">2</property> |
| 2106 | <property name="top_attach">8</property> |
| 2107 | <property name="bottom_attach">9</property> |
| 2108 | <property name="x_options">fill</property> |
| 2109 | </packing> |
| 2110 | </child> |
| 2111 | |
| 2112 | <child> |
| 2113 | <widget class="GtkHSeparator" id="hseparator2"> |
| 2114 | <property name="visible">True</property> |
| 2115 | </widget> |
| 2116 | <packing> |
| 2117 | <property name="left_attach">0</property> |
| 2118 | <property name="right_attach">1</property> |
| 2119 | <property name="top_attach">8</property> |
| 2120 | <property name="bottom_attach">9</property> |
| 2121 | <property name="x_options">fill</property> |
| 2122 | <property name="y_options">fill</property> |
| 2123 | </packing> |
| 2124 | </child> |
| 2125 | |
| 2126 | <child> |
| 2127 | <widget class="GtkHSeparator" id="hseparator3"> |
| 2128 | <property name="visible">True</property> |
| 2129 | </widget> |
| 2130 | <packing> |
| 2131 | <property name="left_attach">0</property> |
| 2132 | <property name="right_attach">1</property> |
| 2133 | <property name="top_attach">3</property> |
| 2134 | <property name="bottom_attach">4</property> |
| 2135 | <property name="x_options">fill</property> |
| 2136 | </packing> |
| 2137 | </child> |
| 2138 | |
| 2139 | <child> |
| 2140 | <widget class="GtkHSeparator" id="hseparator4"> |
| 2141 | <property name="visible">True</property> |
| 2142 | </widget> |
| 2143 | <packing> |
| 2144 | <property name="left_attach">1</property> |
| 2145 | <property name="right_attach">2</property> |
| 2146 | <property name="top_attach">3</property> |
| 2147 | <property name="bottom_attach">4</property> |
| 2148 | <property name="x_options">fill</property> |
| 2149 | <property name="y_options">fill</property> |
| 2150 | </packing> |
| 2151 | </child> |
| 2152 | |
| 2153 | <child> |
| 2154 | <widget class="GtkHBox" id="hbox7"> |
| 2155 | <property name="visible">True</property> |
| 2156 | <property name="homogeneous">False</property> |
| 2157 | <property name="spacing">2</property> |
| 2158 | |
| 2159 | <child> |
| 2160 | <widget class="GtkRadioButton" id="fixed"> |
| 2161 | <property name="visible">True</property> |
| 2162 | <property name="can_focus">True</property> |
| 2163 | <property name="label" translatable="yes">_Fixed</property> |
| 2164 | <property name="use_underline">True</property> |
| 2165 | <property name="relief">GTK_RELIEF_NORMAL</property> |
| 2166 | <property name="focus_on_click">True</property> |
| 2167 | <property name="active">False</property> |
| 2168 | <property name="inconsistent">False</property> |
| 2169 | <property name="draw_indicator">True</property> |
| 2170 | </widget> |
| 2171 | <packing> |
| 2172 | <property name="padding">0</property> |
| 2173 | <property name="expand">False</property> |
| 2174 | <property name="fill">False</property> |
| 2175 | </packing> |
| 2176 | </child> |
| 2177 | |
| 2178 | <child> |
| 2179 | <widget class="GtkRadioButton" id="free"> |
| 2180 | <property name="visible">True</property> |
| 2181 | <property name="can_focus">True</property> |
| 2182 | <property name="label" translatable="yes">F_ree</property> |
| 2183 | <property name="use_underline">True</property> |
| 2184 | <property name="relief">GTK_RELIEF_NORMAL</property> |
| 2185 | <property name="focus_on_click">True</property> |
| 2186 | <property name="active">False</property> |
| 2187 | <property name="inconsistent">False</property> |
| 2188 | <property name="draw_indicator">True</property> |
| 2189 | <property name="group">fixed</property> |
| 2190 | </widget> |
| 2191 | <packing> |
| 2192 | <property name="padding">10</property> |
| 2193 | <property name="expand">False</property> |
| 2194 | <property name="fill">False</property> |
| 2195 | </packing> |
| 2196 | </child> |
| 2197 | </widget> |
| 2198 | <packing> |
| 2199 | <property name="left_attach">1</property> |
| 2200 | <property name="right_attach">2</property> |
| 2201 | <property name="top_attach">9</property> |
| 2202 | <property name="bottom_attach">10</property> |
| 2203 | <property name="x_options">fill</property> |
| 2204 | <property name="y_options">fill</property> |
| 2205 | </packing> |
| 2206 | </child> |
| 2207 | |
| 2208 | <child> |
| 2209 | <widget class="GtkLabel" id="label28"> |
| 2210 | <property name="visible">True</property> |
| 2211 | <property name="label" translatable="yes">Scaling base</property> |
| 2212 | <property name="use_underline">False</property> |
| 2213 | <property name="use_markup">False</property> |
| 2214 | <property name="justify">GTK_JUSTIFY_LEFT</property> |
| 2215 | <property name="wrap">False</property> |
| 2216 | <property name="selectable">False</property> |
| 2217 | <property name="xalign">0</property> |
| 2218 | <property name="yalign">0.5</property> |
| 2219 | <property name="xpad">0</property> |
| 2220 | <property name="ypad">0</property> |
| 2221 | <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property> |
| 2222 | <property name="width_chars">-1</property> |
| 2223 | <property name="single_line_mode">False</property> |
| 2224 | <property name="angle">0</property> |
| 2225 | </widget> |
| 2226 | <packing> |
| 2227 | <property name="left_attach">0</property> |
| 2228 | <property name="right_attach">1</property> |
| 2229 | <property name="top_attach">7</property> |
| 2230 | <property name="bottom_attach">8</property> |
| 2231 | <property name="x_options">fill</property> |
| 2232 | <property name="y_options"></property> |
| 2233 | </packing> |
| 2234 | </child> |
| 2235 | |
| 2236 | <child> |
| 2237 | <widget class="GtkEntry" id="nominalentry"> |
| 2238 | <property name="visible">True</property> |
| 2239 | <property name="can_focus">True</property> |
| 2240 | <property name="editable">True</property> |
| 2241 | <property name="visibility">True</property> |
| 2242 | <property name="max_length">0</property> |
| 2243 | <property name="text" translatable="yes"></property> |
| 2244 | <property name="has_frame">True</property> |
| 2245 | <property name="invisible_char">*</property> |
| 2246 | <property name="activates_default">False</property> |
| 2247 | <signal name="key_press_event" handler="on_entry_key_press_event" last_modification_time="Sat, 04 Feb 2006 06:57:34 GMT"/> |
| 2248 | </widget> |
| 2249 | <packing> |
| 2250 | <property name="left_attach">1</property> |
| 2251 | <property name="right_attach">2</property> |
| 2252 | <property name="top_attach">7</property> |
| 2253 | <property name="bottom_attach">8</property> |
| 2254 | <property name="y_options"></property> |
| 2255 | </packing> |
| 2256 | </child> |
| 2257 | |
| 2258 | <child> |
| 2259 | <widget class="GtkEntry" id="upperentry"> |
| 2260 | <property name="visible">True</property> |
| 2261 | <property name="can_focus">True</property> |
| 2262 | <property name="editable">True</property> |
| 2263 | <property name="visibility">True</property> |
| 2264 | <property name="max_length">0</property> |
| 2265 | <property name="text" translatable="yes"></property> |
| 2266 | <property name="has_frame">True</property> |
| 2267 | <property name="invisible_char">*</property> |
| 2268 | <property name="activates_default">False</property> |
| 2269 | <signal name="key_press_event" handler="on_entry_key_press_event" last_modification_time="Sat, 04 Feb 2006 06:57:18 GMT"/> |
| 2270 | </widget> |
| 2271 | <packing> |
| 2272 | <property name="left_attach">1</property> |
| 2273 | <property name="right_attach">2</property> |
| 2274 | <property name="top_attach">6</property> |
| 2275 | <property name="bottom_attach">7</property> |
| 2276 | <property name="y_options"></property> |
| 2277 | </packing> |
| 2278 | </child> |
| 2279 | |
| 2280 | <child> |
| 2281 | <widget class="GtkEntry" id="valueentry"> |
| 2282 | <property name="visible">True</property> |
| 2283 | <property name="can_focus">True</property> |
| 2284 | <property name="editable">True</property> |
| 2285 | <property name="visibility">True</property> |
| 2286 | <property name="max_length">0</property> |
| 2287 | <property name="text" translatable="yes"></property> |
| 2288 | <property name="has_frame">True</property> |
| 2289 | <property name="invisible_char">*</property> |
| 2290 | <property name="activates_default">False</property> |
| 2291 | <signal name="key_press_event" handler="on_entry_key_press_event" last_modification_time="Sat, 04 Feb 2006 06:55:45 GMT"/> |
| 2292 | </widget> |
| 2293 | <packing> |
| 2294 | <property name="left_attach">1</property> |
| 2295 | <property name="right_attach">2</property> |
| 2296 | <property name="top_attach">4</property> |
| 2297 | <property name="bottom_attach">5</property> |
| 2298 | <property name="y_options"></property> |
| 2299 | </packing> |
| 2300 | </child> |
| 2301 | |
| 2302 | <child> |
| 2303 | <widget class="GtkLabel" id="label23"> |
| 2304 | <property name="visible">True</property> |
| 2305 | <property name="label" translatable="yes">Name </property> |
| 2306 | <property name="use_underline">False</property> |
| 2307 | <property name="use_markup">False</property> |
| 2308 | <property name="justify">GTK_JUSTIFY_LEFT</property> |
| 2309 | <property name="wrap">False</property> |
| 2310 | <property name="selectable">False</property> |
| 2311 | <property name="xalign">0</property> |
| 2312 | <property name="yalign">0</property> |
| 2313 | <property name="xpad">0</property> |
| 2314 | <property name="ypad">10</property> |
| 2315 | <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property> |
| 2316 | <property name="width_chars">-1</property> |
| 2317 | <property name="single_line_mode">False</property> |
| 2318 | <property name="angle">0</property> |
| 2319 | </widget> |
| 2320 | <packing> |
| 2321 | <property name="left_attach">0</property> |
| 2322 | <property name="right_attach">1</property> |
| 2323 | <property name="top_attach">0</property> |
| 2324 | <property name="bottom_attach">1</property> |
| 2325 | <property name="x_options">fill</property> |
| 2326 | </packing> |
| 2327 | </child> |
| 2328 | |
| 2329 | <child> |
| 2330 | <widget class="GtkEntry" id="lowerentry"> |
| 2331 | <property name="visible">True</property> |
| 2332 | <property name="can_focus">True</property> |
| 2333 | <property name="editable">True</property> |
| 2334 | <property name="visibility">True</property> |
| 2335 | <property name="max_length">0</property> |
| 2336 | <property name="text" translatable="yes"></property> |
| 2337 | <property name="has_frame">True</property> |
| 2338 | <property name="invisible_char">*</property> |
| 2339 | <property name="activates_default">False</property> |
| 2340 | <signal name="key_press_event" handler="on_entry_key_press_event" last_modification_time="Sat, 04 Feb 2006 06:57:01 GMT"/> |
| 2341 | </widget> |
| 2342 | <packing> |
| 2343 | <property name="left_attach">1</property> |
| 2344 | <property name="right_attach">2</property> |
| 2345 | <property name="top_attach">5</property> |
| 2346 | <property name="bottom_attach">6</property> |
| 2347 | <property name="y_options"></property> |
| 2348 | </packing> |
| 2349 | </child> |
| 2350 | |
| 2351 | <child> |
| 2352 | <widget class |