home *** CD-ROM | disk | FTP | other *** search
/ Mac Easy 2010 May / Mac Life Ubuntu.iso / casper / filesystem.squashfs / usr / share / gnome-panel / glade / workspace-switcher.glade < prev   
Encoding:
Extensible Markup Language  |  2009-04-17  |  22.8 KB  |  399 lines
  1. <?xml version="1.0" encoding="UTF-8" standalone="no"?>
  2. <!DOCTYPE glade-interface SYSTEM "glade-2.0.dtd">
  3. <!--*- mode: xml -*-->
  4. <glade-interface>
  5.   <widget class="GtkDialog" id="pager_properties_dialog">
  6.     <property name="border_width">5</property>
  7.     <property name="title" translatable="yes">Workspace Switcher Preferences</property>
  8.     <property name="type_hint">GDK_WINDOW_TYPE_HINT_NORMAL</property>
  9.     <property name="has_separator">False</property>
  10.     <child internal-child="vbox">
  11.       <widget class="GtkVBox" id="dialog-vbox1">
  12.         <property name="visible">True</property>
  13.         <property name="spacing">2</property>
  14.         <child>
  15.           <widget class="GtkVBox" id="vbox2">
  16.             <property name="visible">True</property>
  17.             <property name="border_width">5</property>
  18.             <property name="spacing">12</property>
  19.             <child>
  20.               <widget class="GtkFrame" id="switcher_frame">
  21.                 <property name="visible">True</property>
  22.                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  23.                 <property name="label_xalign">0</property>
  24.                 <property name="shadow_type">GTK_SHADOW_NONE</property>
  25.                 <child>
  26.                   <widget class="GtkAlignment" id="alignment2">
  27.                     <property name="visible">True</property>
  28.                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  29.                     <property name="left_padding">12</property>
  30.                     <child>
  31.                       <widget class="GtkVBox" id="vbox5">
  32.                         <property name="visible">True</property>
  33.                         <property name="spacing">6</property>
  34.                         <child>
  35.                           <widget class="GtkRadioButton" id="current_only_radio">
  36.                             <property name="visible">True</property>
  37.                             <property name="can_focus">True</property>
  38.                             <property name="label" translatable="yes">Show _only the current workspace</property>
  39.                             <property name="use_underline">True</property>
  40.                             <property name="response_id">0</property>
  41.                             <property name="draw_indicator">True</property>
  42.                           </widget>
  43.                           <packing>
  44.                             <property name="expand">False</property>
  45.                             <property name="fill">False</property>
  46.                           </packing>
  47.                         </child>
  48.                         <child>
  49.                           <widget class="GtkHBox" id="hbox9">
  50.                             <property name="visible">True</property>
  51.                             <property name="spacing">12</property>
  52.                             <child>
  53.                               <widget class="GtkRadioButton" id="all_workspaces_radio">
  54.                                 <property name="visible">True</property>
  55.                                 <property name="can_focus">True</property>
  56.                                 <property name="label" translatable="yes">Show _all workspaces in:</property>
  57.                                 <property name="use_underline">True</property>
  58.                                 <property name="response_id">0</property>
  59.                                 <property name="draw_indicator">True</property>
  60.                                 <property name="group">current_only_radio</property>
  61.                               </widget>
  62.                               <packing>
  63.                                 <property name="expand">False</property>
  64.                                 <property name="fill">False</property>
  65.                               </packing>
  66.                             </child>
  67.                             <child>
  68.                               <widget class="GtkHBox" id="hbox10">
  69.                                 <property name="visible">True</property>
  70.                                 <property name="spacing">6</property>
  71.                                 <child>
  72.                                   <widget class="GtkSpinButton" id="num_rows_spin">
  73.                                     <property name="visible">True</property>
  74.                                     <property name="can_focus">True</property>
  75.                                     <property name="adjustment">1 1 16 1 10 0</property>
  76.                                     <property name="climb_rate">1</property>
  77.                                     <property name="numeric">True</property>
  78.                                   </widget>
  79.                                 </child>
  80.                                 <child>
  81.                                   <widget class="GtkLabel" id="label_row_col">
  82.                                     <property name="visible">True</property>
  83.                                     <property name="xalign">0</property>
  84.                                     <property name="label" translatable="yes">rows</property>
  85.                                     <property name="justify">GTK_JUSTIFY_CENTER</property>
  86.                                     <property name="mnemonic_widget">num_rows_spin</property>
  87.                                   </widget>
  88.                                   <packing>
  89.                                     <property name="expand">False</property>
  90.                                     <property name="fill">False</property>
  91.                                     <property name="position">1</property>
  92.                                   </packing>
  93.                                 </child>
  94.                               </widget>
  95.                               <packing>
  96.                                 <property name="position">1</property>
  97.                               </packing>
  98.                             </child>
  99.                           </widget>
  100.                           <packing>
  101.                             <property name="position">1</property>
  102.                           </packing>
  103.                         </child>
  104.                       </widget>
  105.                     </child>
  106.                   </widget>
  107.                 </child>
  108.                 <child>
  109.                   <widget class="GtkLabel" id="label2">
  110.                     <property name="visible">True</property>
  111.                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  112.                     <property name="label" translatable="yes"><b>Switcher</b></property>
  113.                     <property name="use_markup">True</property>
  114.                   </widget>
  115.                   <packing>
  116.                     <property name="type">label_item</property>
  117.                   </packing>
  118.                 </child>
  119.               </widget>
  120.               <packing>
  121.                 <property name="expand">False</property>
  122.               </packing>
  123.             </child>
  124.             <child>
  125.               <widget class="GtkFrame" id="workspaces_frame">
  126.                 <property name="visible">True</property>
  127.                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  128.                 <property name="label_xalign">0</property>
  129.                 <property name="shadow_type">GTK_SHADOW_NONE</property>
  130.                 <child>
  131.                   <widget class="GtkAlignment" id="alignment1">
  132.                     <property name="visible">True</property>
  133.                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  134.                     <property name="left_padding">12</property>
  135.                     <child>
  136.                       <widget class="GtkVBox" id="vbox1">
  137.                         <property name="visible">True</property>
  138.                         <property name="spacing">6</property>
  139.                         <child>
  140.                           <widget class="GtkHBox" id="hbox4">
  141.                             <property name="visible">True</property>
  142.                             <property name="spacing">12</property>
  143.                             <child>
  144.                               <widget class="GtkLabel" id="num_workspaces_label">
  145.                                 <property name="visible">True</property>
  146.                                 <property name="xalign">0</property>
  147.                                 <property name="label" translatable="yes">Number of _workspaces:</property>
  148.                                 <property name="use_underline">True</property>
  149.                                 <property name="justify">GTK_JUSTIFY_CENTER</property>
  150.                                 <property name="mnemonic_widget">num_workspaces_spin</property>
  151.                               </widget>
  152.                               <packing>
  153.                                 <property name="expand">False</property>
  154.                                 <property name="fill">False</property>
  155.                               </packing>
  156.                             </child>
  157.                             <child>
  158.                               <widget class="GtkSpinButton" id="num_workspaces_spin">
  159.                                 <property name="visible">True</property>
  160.                                 <property name="can_focus">True</property>
  161.                                 <property name="adjustment">1 1 36 1 10 0</property>
  162.                                 <property name="climb_rate">1</property>
  163.                                 <property name="numeric">True</property>
  164.                               </widget>
  165.                               <packing>
  166.                                 <property name="position">1</property>
  167.                               </packing>
  168.                             </child>
  169.                           </widget>
  170.                           <packing>
  171.                             <property name="expand">False</property>
  172.                             <property name="fill">False</property>
  173.                           </packing>
  174.                         </child>
  175.                         <child>
  176.                           <widget class="GtkLabel" id="workspace_names_label">
  177.                             <property name="visible">True</property>
  178.                             <property name="xalign">0</property>
  179.                             <property name="label" translatable="yes">Workspace na_mes:</property>
  180.                             <property name="use_underline">True</property>
  181.                             <property name="mnemonic_widget">workspaces_tree_view</property>
  182.                           </widget>
  183.                           <packing>
  184.                             <property name="expand">False</property>
  185.                             <property name="fill">False</property>
  186.                             <property name="position">1</property>
  187.                           </packing>
  188.                         </child>
  189.                         <child>
  190.                           <widget class="GtkScrolledWindow" id="workspace_names_scroll">
  191.                             <property name="height_request">100</property>
  192.                             <property name="visible">True</property>
  193.                             <property name="can_focus">True</property>
  194.                             <property name="hscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
  195.                             <property name="vscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
  196.                             <property name="shadow_type">GTK_SHADOW_IN</property>
  197.                             <child>
  198.                               <widget class="GtkTreeView" id="workspaces_tree_view">
  199.                                 <property name="visible">True</property>
  200.                                 <property name="can_focus">True</property>
  201.                                 <property name="tooltip" translatable="yes">Workspace Names</property>
  202.                                 <property name="headers_visible">False</property>
  203.                               </widget>
  204.                             </child>
  205.                           </widget>
  206.                           <packing>
  207.                             <property name="position">2</property>
  208.                           </packing>
  209.                         </child>
  210.                         <child>
  211.                           <widget class="GtkCheckButton" id="workspace_name_toggle">
  212.                             <property name="visible">True</property>
  213.                             <property name="can_focus">True</property>
  214.                             <property name="label" translatable="yes">Show workspace _names in switcher</property>
  215.                             <property name="use_underline">True</property>
  216.                             <property name="response_id">0</property>
  217.                             <property name="draw_indicator">True</property>
  218.                           </widget>
  219.                           <packing>
  220.                             <property name="expand">False</property>
  221.                             <property name="fill">False</property>
  222.                             <property name="position">3</property>
  223.                           </packing>
  224.                         </child>
  225.                       </widget>
  226.                     </child>
  227.                   </widget>
  228.                 </child>
  229.                 <child>
  230.                   <widget class="GtkLabel" id="label1">
  231.                     <property name="visible">True</property>
  232.                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  233.                     <property name="label" translatable="yes"><b>Workspaces</b></property>
  234.                     <property name="use_markup">True</property>
  235.                   </widget>
  236.                   <packing>
  237.                     <property name="type">label_item</property>
  238.                   </packing>
  239.                 </child>
  240.               </widget>
  241.               <packing>
  242.                 <property name="position">1</property>
  243.               </packing>
  244.             </child>
  245.             <child>
  246.               <widget class="GtkFrame" id="viewports_frame">
  247.                 <property name="no_show_all">True</property>
  248.                 <property name="visible">False</property>
  249.                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  250.                 <property name="label_xalign">0</property>
  251.                 <property name="shadow_type">GTK_SHADOW_NONE</property>
  252.                 <child>
  253.                   <widget class="GtkAlignment" id="viewports_alignment">
  254.                     <property name="visible">True</property>
  255.                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  256.                     <property name="left_padding">12</property>
  257.                     <child>
  258.                       <widget class="GtkVBox" id="viewports_vbox">
  259.                         <property name="visible">True</property>
  260.                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  261.                         <property name="spacing">6</property>
  262.                         <child>
  263.                           <widget class="GtkTable" id="viewports_table">
  264.                             <property name="visible">True</property>
  265.                             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  266.                             <property name="n_rows">2</property>
  267.                             <property name="n_columns">2</property>
  268.                             <property name="column_spacing">6</property>
  269.                             <property name="row_spacing">6</property>
  270.                             <child>
  271.                               <widget class="GtkLabel" id="hsize_label">
  272.                                 <property name="visible">True</property>
  273.                                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  274.                                 <property name="label" translatable="yes">Co_lumns:</property>
  275.                                 <property name="use_underline">True</property>
  276.                                 <property name="mnemonic_widget">hsize_spin</property>
  277.                               </widget>
  278.                               <packing>
  279.                                 <property name="x_options"></property>
  280.                                 <property name="y_options"></property>
  281.                               </packing>
  282.                             </child>
  283.                             <child>
  284.                               <widget class="GtkSpinButton" id="hsize_spin">
  285.                                 <property name="visible">True</property>
  286.                                 <property name="can_focus">True</property>
  287.                                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  288.                                 <property name="adjustment">1 1 16 1 1 1</property>
  289.                                 <property name="climb_rate">1</property>
  290.                               </widget>
  291.                               <packing>
  292.                                 <property name="left_attach">1</property>
  293.                                 <property name="right_attach">2</property>
  294.                                 <property name="x_options"></property>
  295.                                 <property name="y_options"></property>
  296.                               </packing>
  297.                             </child>
  298.                             <child>
  299.                               <widget class="GtkLabel" id="vsize_label">
  300.                                 <property name="visible">True</property>
  301.                                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  302.                                 <property name="label" translatable="yes">_Rows:</property>
  303.                                 <property name="use_underline">True</property>
  304.                                 <property name="mnemonic_widget">vsize_spin</property>
  305.                               </widget>
  306.                               <packing>
  307.                                 <property name="top_attach">1</property>
  308.                                 <property name="bottom_attach">2</property>
  309.                                 <property name="x_options"></property>
  310.                                 <property name="y_options"></property>
  311.                               </packing>
  312.                             </child>
  313.                             <child>
  314.                               <widget class="GtkSpinButton" id="vsize_spin">
  315.                                 <property name="visible">True</property>
  316.                                 <property name="can_focus">True</property>
  317.                                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  318.                                 <property name="adjustment">1 1 16 1 1 1</property>
  319.                                 <property name="climb_rate">1</property>
  320.                               </widget>
  321.                               <packing>
  322.                                 <property name="left_attach">1</property>
  323.                                 <property name="right_attach">2</property>
  324.                                 <property name="top_attach">1</property>
  325.                                 <property name="bottom_attach">2</property>
  326.                                 <property name="x_options"></property>
  327.                                 <property name="y_options"></property>
  328.                               </packing>
  329.                             </child>
  330.                           </widget>
  331.                           <packing>
  332.                             <property name="expand">False</property>
  333.                             <property name="fill">False</property>
  334.                           </packing>
  335.                         </child>
  336.                       </widget>
  337.                     </child>
  338.                   </widget>
  339.                 </child>
  340.                 <child>
  341.                   <widget class="GtkLabel" id="label_viewports">
  342.                     <property name="visible">True</property>
  343.                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  344.                     <property name="label" translatable="yes"><b>Workspaces</b></property>
  345.                     <property name="use_markup">True</property>
  346.                   </widget>
  347.                   <packing>
  348.                     <property name="type">label_item</property>
  349.                   </packing>
  350.                 </child>
  351.               </widget>
  352.               <packing>
  353.                 <property name="position">2</property>
  354.               </packing>
  355.             </child>
  356.           </widget>
  357.           <packing>
  358.             <property name="position">1</property>
  359.           </packing>
  360.         </child>
  361.         <child internal-child="action_area">
  362.           <widget class="GtkHButtonBox" id="dialog-action_area1">
  363.             <property name="visible">True</property>
  364.             <property name="layout_style">GTK_BUTTONBOX_END</property>
  365.             <child>
  366.               <widget class="GtkButton" id="help_button">
  367.                 <property name="visible">True</property>
  368.                 <property name="can_focus">True</property>
  369.                 <property name="can_default">True</property>
  370.                 <property name="label">gtk-help</property>
  371.                 <property name="use_stock">True</property>
  372.                 <property name="response_id">-11</property>
  373.               </widget>
  374.             </child>
  375.             <child>
  376.               <widget class="GtkButton" id="done_button">
  377.                 <property name="visible">True</property>
  378.                 <property name="can_focus">True</property>
  379.                 <property name="can_default">True</property>
  380.                 <property name="has_default">True</property>
  381.                 <property name="label">gtk-close</property>
  382.                 <property name="use_stock">True</property>
  383.                 <property name="response_id">0</property>
  384.               </widget>
  385.               <packing>
  386.                 <property name="position">1</property>
  387.               </packing>
  388.             </child>
  389.           </widget>
  390.           <packing>
  391.             <property name="expand">False</property>
  392.             <property name="pack_type">GTK_PACK_END</property>
  393.           </packing>
  394.         </child>
  395.       </widget>
  396.     </child>
  397.   </widget>
  398. </glade-interface>
  399.