home *** CD-ROM | disk | FTP | other *** search
/ Maximum CD 2010 July / maximum-cd-2010-07.iso / DiscContents / wesnoth-1.8-win32.exe / data / gui / default / window / formula_debugger.cfg < prev    next >
Encoding:
Text File  |  2010-03-08  |  7.5 KB  |  233 lines

  1. #textdomain wesnoth-lib
  2. ###
  3. ### Definition of the window to control formula debugger.
  4. ###
  5.  
  6. [window]
  7.     id = "formula_debugger"
  8.     description = "Formula debugger dialog."
  9.  
  10.     [resolution]
  11.         definition = "default"
  12.         automatic_placement = "true"
  13.         vertical_placement = "center"
  14.         horizontal_placement = "center"
  15.  
  16.         [grid]
  17.             [row] #header
  18.                 grow_factor = 0
  19.  
  20.                 [column]
  21.                     grow_factor = 7
  22.                     border = "all"
  23.                     border_size = 5
  24.                     horizontal_alignment = "left"
  25.  
  26.                     [label]
  27.                         definition = "title"
  28.                         label = _ "Formula debugger"
  29.                     [/label]
  30.                 [/column]
  31.  
  32.                 [column]
  33.                     grow_factor = 0
  34.                     [spacer]
  35.                         definition = "default"
  36.                     [/spacer]
  37.                 [/column]
  38.             [/row]
  39.  
  40.             [row] #menu
  41.                 grow_factor = 0
  42.  
  43.                 [column]
  44.                     grow_factor = 7
  45.                     border = "all"
  46.                     border_size = 5
  47.                     horizontal_alignment = "left"
  48.  
  49.                     [label]
  50.                         definition = "default"
  51.                         label= _ "Welcome"
  52.                     [/label]
  53.                 [/column]
  54.  
  55.                 [column]
  56.                     grow_factor = 0
  57.                     border = "all"
  58.                     border_size = 5
  59.                     horizontal_alignment = "left"
  60.                     [label]
  61.                         id="state"
  62.                         definition = "default"
  63.                         label= _ "state"
  64.                     [/label]
  65.                 [/column]
  66.             [/row]
  67.  
  68.             [row] #stack-title
  69.                 grow_factor = 2
  70.                 [column]
  71.                     grow_factor = 7
  72.                     border = "all"
  73.                     border_size = 5
  74.                     horizontal_alignment = "left"
  75.                     [label]
  76.                         definition = "default"
  77.                         label= _ "Call stack"
  78.                     [/label]
  79.                 [/column]
  80.  
  81.                 [column]
  82.                     grow_factor = 0
  83.                     horizontal_alignment="center"
  84.                     [label]
  85.                         definition = "default"
  86.                         label = _ "Actions"
  87.                     [/label]
  88.                 [/column]
  89.             [/row]
  90.  
  91.             [row] #stack-main
  92.                 grow_factor = 2
  93.  
  94.                 [column]
  95.                     grow_factor = 7
  96.                     border = "all"
  97.                     border_size = 5
  98.                     vertical_alignment = "top"
  99.                     horizontal_alignment = "left"
  100.                     [scroll_label]
  101.                         id = "stack"
  102.                         definition = "default"
  103.                     [/scroll_label]
  104.                 [/column]
  105.  
  106.                 [column]
  107.                     grow_factor = 0
  108.                     border = "all"
  109.                     border_size = 5
  110.                     horizontal_alignment = "center"
  111.                     vertical_alignment = "top"
  112.                     [grid]
  113.                         [row]
  114.                             grow_factor=0
  115.                             [column]
  116.                                 grow_factor=0
  117.                                 [button]
  118.                                     id = "step"
  119.                                     definition = "default"
  120.                                     label = _ "Step operation"
  121.                                 [/button]
  122.                             [/column]
  123.                         [/row]
  124.                         [row]
  125.                             grow_factor=0
  126.                             [column]
  127.                                 grow_factor=0
  128.                                 [button]
  129.                                     id = "next"
  130.                                     definition = "default"
  131.                                     label = _ "Next operation"
  132.                                 [/button]
  133.                             [/column]
  134.                         [/row]
  135.                         [row]
  136.                             grow_factor=0
  137.                             [column]
  138.                                 grow_factor=0
  139.                                 [button]
  140.                                     id = "stepout"
  141.                                     definition = "default"
  142.                                     label = _ "Step out"
  143.                                 [/button]
  144.                             [/column]
  145.                         [/row]
  146.                         [row]
  147.                             grow_factor=0
  148.                             [column]
  149.                                 grow_factor=0
  150.                                 [button]
  151.                                     id = "continue"
  152.                                     definition = "default"
  153.                                     label = _ "Continue"
  154.                                 [/button]
  155.                             [/column]
  156.                         [/row]
  157.                     [/grid]
  158.                 [/column]
  159.             [/row]
  160.  
  161.             [row] #trace-title
  162.                 grow_factor = 0
  163.                 [column]
  164.                     grow_factor = 7
  165.                     border = "all"
  166.                     border_size = 5
  167.                     horizontal_alignment = "left"
  168.                     [label]
  169.                         definition = "default"
  170.                         label= _ "Execution trace"
  171.                     [/label]
  172.                 [/column]
  173.  
  174.                 [column]
  175.                     grow_factor = 0
  176.                     horizontal_alignment="center"
  177.                     [spacer]
  178.                         definition = "default"
  179.                     [/spacer]
  180.                 [/column]
  181.             [/row]
  182.  
  183.             [row] #trace-main
  184.                 grow_factor = 6
  185.  
  186.                 [column]
  187.                     grow_factor = 7
  188.                     border = "all"
  189.                     border_size = 5
  190.                     horizontal_alignment = "left"
  191.                     [scroll_label]
  192.                         id = "execution"
  193.                         definition = "default"
  194.                     [/scroll_label]
  195.                 [/column]
  196.  
  197.                 [column]
  198.                     grow_factor = 0
  199.                     border = "all"
  200.                     border_size = 5
  201.                     horizontal_alignment = "left"
  202.                     [spacer]
  203.                         definition = "default"
  204.                     [/spacer]
  205.                 [/column]
  206.             [/row]
  207.  
  208.             [row] #status
  209.                 grow_factor = 0
  210.  
  211.                 [column]
  212.                     grow_factor = 7
  213.                     border = "all"
  214.                     border_size = 5
  215.                     horizontal_alignment = "left"
  216.                     [spacer]
  217.                         definition = "default"
  218.                     [/spacer]
  219.                 [/column]
  220.  
  221.                 [column]
  222.                     grow_factor = 0
  223.                     [button]
  224.                         id = "cancel"
  225.                         definition = "default"
  226.                         label = _ "Quit"
  227.                     [/button]
  228.                 [/column]
  229.             [/row]
  230.         [/grid]
  231.     [/resolution]
  232. [/window]
  233.