src/dialogs/simulation.ui

   1 <?xml version="1.0" encoding="UTF-8"?>
   2 <interface>
   3   <!-- interface-requires gtk+ 3.0 -->
   4   <object class="GtkDialog" id="Simulation">
   5     <property name="can_focus">False</property>
   6     <property name="border_width">6</property>
   7     <property name="title" translatable="yes">Risk Simulation</property>
   8     <property name="type_hint">dialog</property>
   9     <child internal-child="vbox">
  10       <object class="GtkBox" id="vbox1">
  11         <property name="visible">True</property>
  12         <property name="can_focus">False</property>
  13         <property name="orientation">vertical</property>
  14         <property name="spacing">8</property>
  15         <child internal-child="action_area">
  16           <object class="GtkButtonBox" id="hbuttonbox1">
  17             <property name="visible">True</property>
  18             <property name="can_focus">False</property>
  19             <property name="layout_style">end</property>
  20             <child>
  21               <object class="GtkButton" id="helpbutton">
  22                 <property name="label">gtk-help</property>
  23                 <property name="use_action_appearance">False</property>
  24                 <property name="visible">True</property>
  25                 <property name="can_focus">True</property>
  26                 <property name="can_default">True</property>
  27                 <property name="receives_default">False</property>
  28                 <property name="use_action_appearance">False</property>
  29                 <property name="use_stock">True</property>
  30               </object>
  31               <packing>
  32                 <property name="expand">False</property>
  33                 <property name="fill">False</property>
  34                 <property name="position">0</property>
  35               </packing>
  36             </child>
  37             <child>
  38               <object class="GtkButton" id="cancelbutton">
  39                 <property name="label">gtk-close</property>
  40                 <property name="use_action_appearance">False</property>
  41                 <property name="visible">True</property>
  42                 <property name="can_focus">True</property>
  43                 <property name="can_default">True</property>
  44                 <property name="receives_default">False</property>
  45                 <property name="use_action_appearance">False</property>
  46                 <property name="use_stock">True</property>
  47               </object>
  48               <packing>
  49                 <property name="expand">False</property>
  50                 <property name="fill">False</property>
  51                 <property name="position">1</property>
  52               </packing>
  53             </child>
  54             <child>
  55               <object class="GtkButton" id="okbutton">
  56                 <property name="label">gtk-ok</property>
  57                 <property name="use_action_appearance">False</property>
  58                 <property name="visible">True</property>
  59                 <property name="can_focus">True</property>
  60                 <property name="can_default">True</property>
  61                 <property name="has_default">True</property>
  62                 <property name="receives_default">False</property>
  63                 <property name="use_action_appearance">False</property>
  64                 <property name="use_stock">True</property>
  65               </object>
  66               <packing>
  67                 <property name="expand">False</property>
  68                 <property name="fill">False</property>
  69                 <property name="position">2</property>
  70               </packing>
  71             </child>
  72           </object>
  73           <packing>
  74             <property name="expand">False</property>
  75             <property name="fill">True</property>
  76             <property name="pack_type">end</property>
  77             <property name="position">0</property>
  78           </packing>
  79         </child>
  80         <child>
  81           <object class="GtkNotebook" id="notebook1">
  82             <property name="visible">True</property>
  83             <property name="can_focus">True</property>
  84             <child>
  85               <object class="GtkBox" id="vbox6">
  86                 <property name="visible">True</property>
  87                 <property name="can_focus">False</property>
  88                 <property name="orientation">vertical</property>
  89                 <property name="spacing">6</property>
  90                 <child>
  91                   <object class="GtkGrid" id="input-grid">
  92                     <property name="visible">True</property>
  93                     <property name="can_focus">False</property>
  94                     <property name="border_width">12</property>
  95                     <property name="row_spacing">6</property>
  96                     <property name="column_spacing">12</property>
  97                     <child>
  98                       <object class="GtkLabel" id="var1-label">
  99                         <property name="visible">True</property>
 100                         <property name="can_focus">False</property>
 101                         <property name="xalign">0</property>
 102                         <property name="label" translatable="yes">Input variables:</property>
 103                         <property name="justify">right</property>
 104                       </object>
 105                       <packing>
 106                         <property name="left_attach">0</property>
 107                         <property name="top_attach">0</property>
 108                         <property name="width">1</property>
 109                         <property name="height">1</property>
 110                       </packing>
 111                     </child>
 112                     <child>
 113                       <placeholder/>
 114                     </child>
 115                     <child>
 116                       <placeholder/>
 117                     </child>
 118                     <child>
 119                       <placeholder/>
 120                     </child>
 121                     <child>
 122                       <placeholder/>
 123                     </child>
 124                     <child>
 125                       <placeholder/>
 126                     </child>
 127                     <child>
 128                       <placeholder/>
 129                     </child>
 130                     <child>
 131                       <placeholder/>
 132                     </child>
 133                     <child>
 134                       <object class="GtkLabel" id="var2-label">
 135                         <property name="visible">True</property>
 136                         <property name="can_focus">False</property>
 137                         <property name="xalign">0</property>
 138                         <property name="label" translatable="yes">Output variables:</property>
 139                         <property name="justify">right</property>
 140                       </object>
 141                       <packing>
 142                         <property name="left_attach">0</property>
 143                         <property name="top_attach">1</property>
 144                         <property name="width">1</property>
 145                         <property name="height">1</property>
 146                       </packing>
 147                     </child>
 148                   </object>
 149                   <packing>
 150                     <property name="expand">False</property>
 151                     <property name="fill">True</property>
 152                     <property name="position">0</property>
 153                   </packing>
 154                 </child>
 155               </object>
 156             </child>
 157             <child type="tab">
 158               <object class="GtkLabel" id="label1">
 159                 <property name="visible">True</property>
 160                 <property name="can_focus">False</property>
 161                 <property name="label" translatable="yes">Variables</property>
 162                 <property name="justify">center</property>
 163               </object>
 164               <packing>
 165                 <property name="tab_fill">False</property>
 166               </packing>
 167             </child>
 168             <child>
 169               <object class="GtkGrid" id="options-grid">
 170                 <property name="visible">True</property>
 171                 <property name="can_focus">False</property>
 172                 <property name="border_width">12</property>
 173                 <property name="row_spacing">6</property>
 174                 <property name="column_spacing">12</property>
 175                 <child>
 176                   <object class="GtkLabel" id="label35">
 177                     <property name="visible">True</property>
 178                     <property name="can_focus">False</property>
 179                     <property name="xalign">0</property>
 180                     <property name="label" translatable="yes">&lt;span weight="bold"&gt;Rounds&lt;/span&gt;</property>
 181                     <property name="use_markup">True</property>
 182                   </object>
 183                   <packing>
 184                     <property name="left_attach">0</property>
 185                     <property name="top_attach">0</property>
 186                     <property name="width">1</property>
 187                     <property name="height">1</property>
 188                   </packing>
 189                 </child>
 190                 <child>
 191                   <placeholder/>
 192                 </child>
 193                 <child>
 194                   <placeholder/>
 195                 </child>
 196                 <child>
 197                   <placeholder/>
 198                 </child>
 199                 <child>
 200                   <placeholder/>
 201                 </child>
 202                 <child>
 203                   <placeholder/>
 204                 </child>
 205                 <child>
 206                   <placeholder/>
 207                 </child>
 208                 <child>
 209                   <placeholder/>
 210                 </child>
 211                 <child>
 212                   <placeholder/>
 213                 </child>
 214                 <child>
 215                   <placeholder/>
 216                 </child>
 217                 <child>
 218                   <placeholder/>
 219                 </child>
 220                 <child>
 221                   <placeholder/>
 222                 </child>
 223                 <child>
 224                   <object class="GtkLabel" id="label38">
 225                     <property name="visible">True</property>
 226                     <property name="can_focus">False</property>
 227                     <property name="margin_top">12</property>
 228                     <property name="xalign">0</property>
 229                     <property name="label" translatable="yes">&lt;span weight="bold"&gt;Limits&lt;/span&gt;</property>
 230                     <property name="use_markup">True</property>
 231                   </object>
 232                   <packing>
 233                     <property name="left_attach">0</property>
 234                     <property name="top_attach">3</property>
 235                     <property name="width">1</property>
 236                     <property name="height">1</property>
 237                   </packing>
 238                 </child>
 239                 <child>
 240                   <object class="GtkLabel" id="label36">
 241                     <property name="visible">True</property>
 242                     <property name="can_focus">False</property>
 243                     <property name="xalign">0</property>
 244                     <property name="label" translatable="yes">First round #:</property>
 245                   </object>
 246                   <packing>
 247                     <property name="left_attach">1</property>
 248                     <property name="top_attach">1</property>
 249                     <property name="width">1</property>
 250                     <property name="height">1</property>
 251                   </packing>
 252                 </child>
 253                 <child>
 254                   <object class="GtkLabel" id="label37">
 255                     <property name="visible">True</property>
 256                     <property name="can_focus">False</property>
 257                     <property name="xalign">0</property>
 258                     <property name="label" translatable="yes">Last round #:</property>
 259                   </object>
 260                   <packing>
 261                     <property name="left_attach">1</property>
 262                     <property name="top_attach">2</property>
 263                     <property name="width">1</property>
 264                     <property name="height">1</property>
 265                   </packing>
 266                 </child>
 267                 <child>
 268                   <object class="GtkLabel" id="label39">
 269                     <property name="visible">True</property>
 270                     <property name="can_focus">False</property>
 271                     <property name="xalign">0</property>
 272                     <property name="label" translatable="yes">Iterations:</property>
 273                   </object>
 274                   <packing>
 275                     <property name="left_attach">1</property>
 276                     <property name="top_attach">4</property>
 277                     <property name="width">1</property>
 278                     <property name="height">1</property>
 279                   </packing>
 280                 </child>
 281                 <child>
 282                   <object class="GtkLabel" id="label40">
 283                     <property name="visible">True</property>
 284                     <property name="can_focus">False</property>
 285                     <property name="xalign">0</property>
 286                     <property name="label" translatable="yes">Max time:</property>
 287                   </object>
 288                   <packing>
 289                     <property name="left_attach">1</property>
 290                     <property name="top_attach">5</property>
 291                     <property name="width">1</property>
 292                     <property name="height">1</property>
 293                   </packing>
 294                 </child>
 295                 <child>
 296                   <object class="GtkSpinButton" id="max-time">
 297                     <property name="visible">True</property>
 298                     <property name="can_focus">True</property>
 299                     <property name="invisible_char">•</property>
 300                     <property name="invisible_char_set">True</property>
 301                     <property name="adjustment">adjustment1</property>
 302                     <property name="climb_rate">1</property>
 303                   </object>
 304                   <packing>
 305                     <property name="left_attach">2</property>
 306                     <property name="top_attach">5</property>
 307                     <property name="width">1</property>
 308                     <property name="height">1</property>
 309                   </packing>
 310                 </child>
 311                 <child>
 312                   <object class="GtkSpinButton" id="first_round">
 313                     <property name="visible">True</property>
 314                     <property name="can_focus">True</property>
 315                     <property name="invisible_char">•</property>
 316                     <property name="invisible_char_set">True</property>
 317                     <property name="adjustment">adjustment4</property>
 318                     <property name="climb_rate">1</property>
 319                   </object>
 320                   <packing>
 321                     <property name="left_attach">2</property>
 322                     <property name="top_attach">1</property>
 323                     <property name="width">1</property>
 324                     <property name="height">1</property>
 325                   </packing>
 326                 </child>
 327                 <child>
 328                   <object class="GtkSpinButton" id="last_round">
 329                     <property name="visible">True</property>
 330                     <property name="can_focus">True</property>
 331                     <property name="invisible_char">•</property>
 332                     <property name="invisible_char_set">True</property>
 333                     <property name="adjustment">adjustment3</property>
 334                     <property name="climb_rate">1</property>
 335                   </object>
 336                   <packing>
 337                     <property name="left_attach">2</property>
 338                     <property name="top_attach">2</property>
 339                     <property name="width">1</property>
 340                     <property name="height">1</property>
 341                   </packing>
 342                 </child>
 343                 <child>
 344                   <object class="GtkSpinButton" id="iterations">
 345                     <property name="visible">True</property>
 346                     <property name="can_focus">True</property>
 347                     <property name="invisible_char">•</property>
 348                     <property name="invisible_char_set">True</property>
 349                     <property name="adjustment">adjustment2</property>
 350                     <property name="climb_rate">1</property>
 351                   </object>
 352                   <packing>
 353                     <property name="left_attach">2</property>
 354                     <property name="top_attach">4</property>
 355                     <property name="width">1</property>
 356                     <property name="height">1</property>
 357                   </packing>
 358                 </child>
 359               </object>
 360               <packing>
 361                 <property name="position">1</property>
 362               </packing>
 363             </child>
 364             <child type="tab">
 365               <object class="GtkLabel" id="label5">
 366                 <property name="visible">True</property>
 367                 <property name="can_focus">False</property>
 368                 <property name="label" translatable="yes">Options</property>
 369                 <property name="justify">center</property>
 370               </object>
 371               <packing>
 372                 <property name="position">1</property>
 373                 <property name="tab_fill">False</property>
 374               </packing>
 375             </child>
 376             <child>
 377               <object class="GtkBox" id="vbox9">
 378                 <property name="visible">True</property>
 379                 <property name="can_focus">False</property>
 380                 <property name="orientation">vertical</property>
 381                 <child>
 382                   <object class="GtkFrame" id="frame8">
 383                     <property name="visible">True</property>
 384                     <property name="can_focus">False</property>
 385                     <property name="border_width">8</property>
 386                     <property name="label_xalign">0</property>
 387                     <property name="shadow_type">none</property>
 388                     <child>
 389                       <object class="GtkScrolledWindow" id="scrolledwindow2">
 390                         <property name="visible">True</property>
 391                         <property name="can_focus">True</property>
 392                         <property name="shadow_type">in</property>
 393                         <child>
 394                           <object class="GtkTreeView" id="last-run-view">
 395                             <property name="visible">True</property>
 396                             <property name="can_focus">True</property>
 397                             <property name="headers_visible">False</property>
 398                             <child internal-child="selection">
 399                               <object class="GtkTreeSelection" id="treeview-selection1"/>
 400                             </child>
 401                           </object>
 402                         </child>
 403                       </object>
 404                     </child>
 405                     <child type="label">
 406                       <object class="GtkLabel" id="label31">
 407                         <property name="visible">True</property>
 408                         <property name="can_focus">False</property>
 409                         <property name="label" translatable="yes">&lt;b&gt;Simulation summary:&lt;/b&gt;</property>
 410                         <property name="use_markup">True</property>
 411                       </object>
 412                     </child>
 413                   </object>
 414                   <packing>
 415                     <property name="expand">True</property>
 416                     <property name="fill">True</property>
 417                     <property name="position">0</property>
 418                   </packing>
 419                 </child>
 420                 <child>
 421                   <object class="GtkFrame" id="frame9">
 422                     <property name="visible">True</property>
 423                     <property name="can_focus">False</property>
 424                     <property name="border_width">6</property>
 425                     <property name="label_xalign">0</property>
 426                     <property name="shadow_type">none</property>
 427                     <child>
 428                       <object class="GtkBox" id="vbox10">
 429                         <property name="visible">True</property>
 430                         <property name="can_focus">False</property>
 431                         <property name="orientation">vertical</property>
 432                         <child>
 433                           <placeholder/>
 434                         </child>
 435                         <child>
 436                           <object class="GtkScrolledWindow" id="scrolledwindow4">
 437                             <property name="visible">True</property>
 438                             <property name="can_focus">True</property>
 439                             <property name="shadow_type">in</property>
 440                             <child>
 441                               <object class="GtkTextView" id="results-view">
 442                                 <property name="visible">True</property>
 443                                 <property name="can_focus">True</property>
 444                               </object>
 445                             </child>
 446                           </object>
 447                           <packing>
 448                             <property name="expand">True</property>
 449                             <property name="fill">True</property>
 450                             <property name="position">1</property>
 451                           </packing>
 452                         </child>
 453                         <child>
 454                           <object class="GtkBox" id="hbox4">
 455                             <property name="visible">True</property>
 456                             <property name="can_focus">False</property>
 457                             <child>
 458                               <object class="GtkButton" id="prev-button">
 459                                 <property name="label" translatable="yes">Prev. Sim.</property>
 460                                 <property name="use_action_appearance">False</property>
 461                                 <property name="visible">True</property>
 462                                 <property name="can_focus">True</property>
 463                                 <property name="receives_default">False</property>
 464                                 <property name="border_width">12</property>
 465                                 <property name="use_action_appearance">False</property>
 466                                 <property name="use_underline">True</property>
 467                               </object>
 468                               <packing>
 469                                 <property name="expand">False</property>
 470                                 <property name="fill">False</property>
 471                                 <property name="position">0</property>
 472                               </packing>
 473                             </child>
 474                             <child>
 475                               <object class="GtkButton" id="next-button">
 476                                 <property name="label" translatable="yes">Next Sim.</property>
 477                                 <property name="use_action_appearance">False</property>
 478                                 <property name="visible">True</property>
 479                                 <property name="can_focus">True</property>
 480                                 <property name="receives_default">False</property>
 481                                 <property name="border_width">12</property>
 482                                 <property name="use_action_appearance">False</property>
 483                                 <property name="use_underline">True</property>
 484                               </object>
 485                               <packing>
 486                                 <property name="expand">False</property>
 487                                 <property name="fill">False</property>
 488                                 <property name="position">1</property>
 489                               </packing>
 490                             </child>
 491                             <child>
 492                               <object class="GtkButton" id="min-button">
 493                                 <property name="label" translatable="yes">Find Min.</property>
 494                                 <property name="use_action_appearance">False</property>
 495                                 <property name="visible">True</property>
 496                                 <property name="can_focus">True</property>
 497                                 <property name="receives_default">False</property>
 498                                 <property name="border_width">12</property>
 499                                 <property name="use_action_appearance">False</property>
 500                                 <property name="use_underline">True</property>
 501                               </object>
 502                               <packing>
 503                                 <property name="expand">False</property>
 504                                 <property name="fill">False</property>
 505                                 <property name="position">2</property>
 506                               </packing>
 507                             </child>
 508                             <child>
 509                               <object class="GtkButton" id="max-button">
 510                                 <property name="label" translatable="yes">Find Max.</property>
 511                                 <property name="use_action_appearance">False</property>
 512                                 <property name="visible">True</property>
 513                                 <property name="can_focus">True</property>
 514                                 <property name="receives_default">False</property>
 515                                 <property name="border_width">12</property>
 516                                 <property name="use_action_appearance">False</property>
 517                                 <property name="use_underline">True</property>
 518                               </object>
 519                               <packing>
 520                                 <property name="expand">False</property>
 521                                 <property name="fill">False</property>
 522                                 <property name="position">3</property>
 523                               </packing>
 524                             </child>
 525                           </object>
 526                           <packing>
 527                             <property name="expand">True</property>
 528                             <property name="fill">True</property>
 529                             <property name="position">2</property>
 530                           </packing>
 531                         </child>
 532                       </object>
 533                     </child>
 534                     <child type="label">
 535                       <object class="GtkLabel" id="label32">
 536                         <property name="visible">True</property>
 537                         <property name="can_focus">False</property>
 538                         <property name="label" translatable="yes">&lt;b&gt;Summary of results:&lt;/b&gt;</property>
 539                         <property name="use_markup">True</property>
 540                       </object>
 541                     </child>
 542                   </object>
 543                   <packing>
 544                     <property name="expand">True</property>
 545                     <property name="fill">True</property>
 546                     <property name="position">1</property>
 547                   </packing>
 548                 </child>
 549                 <child>
 550                   <placeholder/>
 551                 </child>
 552               </object>
 553               <packing>
 554                 <property name="position">2</property>
 555               </packing>
 556             </child>
 557             <child type="tab">
 558               <object class="GtkLabel" id="label29">
 559                 <property name="visible">True</property>
 560                 <property name="can_focus">False</property>
 561                 <property name="label" translatable="yes">Summary</property>
 562               </object>
 563               <packing>
 564                 <property name="position">2</property>
 565                 <property name="tab_fill">False</property>
 566               </packing>
 567             </child>
 568             <child>
 569               <object class="GtkBox" id="dao">
 570                 <property name="visible">True</property>
 571                 <property name="can_focus">False</property>
 572                 <child>
 573                   <placeholder/>
 574                 </child>
 575               </object>
 576               <packing>
 577                 <property name="position">3</property>
 578               </packing>
 579             </child>
 580             <child type="tab">
 581               <object class="GtkLabel" id="label30">
 582                 <property name="visible">True</property>
 583                 <property name="can_focus">False</property>
 584                 <property name="label" translatable="yes">Output</property>
 585               </object>
 586               <packing>
 587                 <property name="position">3</property>
 588                 <property name="tab_fill">False</property>
 589               </packing>
 590             </child>
 591           </object>
 592           <packing>
 593             <property name="expand">False</property>
 594             <property name="fill">True</property>
 595             <property name="position">1</property>
 596           </packing>
 597         </child>
 598         <child>
 599           <object class="GtkLabel" id="warnings">
 600             <property name="visible">True</property>
 601             <property name="can_focus">False</property>
 602             <property name="xpad">5</property>
 603             <property name="ypad">5</property>
 604             <property name="wrap">True</property>
 605           </object>
 606           <packing>
 607             <property name="expand">False</property>
 608             <property name="fill">False</property>
 609             <property name="position">2</property>
 610           </packing>
 611         </child>
 612       </object>
 613     </child>
 614     <action-widgets>
 615       <action-widget response="0">helpbutton</action-widget>
 616       <action-widget response="0">cancelbutton</action-widget>
 617       <action-widget response="0">okbutton</action-widget>
 618     </action-widgets>
 619   </object>
 620   <object class="GtkAdjustment" id="adjustment1">
 621     <property name="lower">1</property>
 622     <property name="upper">36000</property>
 623     <property name="value">10</property>
 624     <property name="step_increment">10</property>
 625     <property name="page_increment">10</property>
 626   </object>
 627   <object class="GtkAdjustment" id="adjustment2">
 628     <property name="lower">1</property>
 629     <property name="upper">10000000000</property>
 630     <property name="value">1000</property>
 631     <property name="step_increment">1000</property>
 632     <property name="page_increment">10</property>
 633   </object>
 634   <object class="GtkAdjustment" id="adjustment3">
 635     <property name="lower">1</property>
 636     <property name="upper">100000000</property>
 637     <property name="value">1</property>
 638     <property name="step_increment">1</property>
 639     <property name="page_increment">10</property>
 640   </object>
 641   <object class="GtkAdjustment" id="adjustment4">
 642     <property name="lower">1</property>
 643     <property name="upper">100000000</property>
 644     <property name="value">1</property>
 645     <property name="step_increment">1</property>
 646     <property name="page_increment">10</property>
 647   </object>
 648 </interface>