Home | History | Annotate | Download | only in gui
      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 <requires lib="gnome"/>
      6 <requires lib="bonobo"/>
      7 
      8 <widget class="GtkAboutDialog" id="aboutWindow">
      9   <property name="border_width">5</property>
     10   <property name="destroy_with_parent">False</property>
     11   <property name="name" translatable="yes">system-config-selinux</property>
     12   <property name="copyright" translatable="yes">Copyright (c)2006 Red Hat, Inc.
     13 Copyright (c) 2006 Dan Walsh &lt;dwalsh (a] redhat.com&gt;</property>
     14   <property name="wrap_license">False</property>
     15   <property name="authors">Daniel Walsh &lt;dwalsh (a] redhat.com&gt;
     16 </property>
     17   <property name="translator_credits" translatable="yes" comments="TRANSLATORS: Replace this string with your names, one name per line.">translator-credits</property>
     18   <property name="logo">system-config-selinux.png</property>
     19 </widget>
     20 
     21 <widget class="GtkDialog" id="loginsDialog">
     22   <property name="title" translatable="yes">Add SELinux Login Mapping</property>
     23   <property name="type">GTK_WINDOW_TOPLEVEL</property>
     24   <property name="window_position">GTK_WIN_POS_NONE</property>
     25   <property name="modal">False</property>
     26   <property name="resizable">True</property>
     27   <property name="destroy_with_parent">False</property>
     28   <property name="decorated">True</property>
     29   <property name="skip_taskbar_hint">False</property>
     30   <property name="skip_pager_hint">False</property>
     31   <property name="type_hint">GDK_WINDOW_TYPE_HINT_DIALOG</property>
     32   <property name="gravity">GDK_GRAVITY_NORTH_WEST</property>
     33   <property name="focus_on_map">True</property>
     34   <property name="urgency_hint">False</property>
     35   <property name="has_separator">True</property>
     36 
     37   <child internal-child="vbox">
     38     <widget class="GtkVBox" id="dialog-vbox1">
     39       <property name="visible">True</property>
     40       <property name="homogeneous">False</property>
     41       <property name="spacing">0</property>
     42 
     43       <child internal-child="action_area">
     44 	<widget class="GtkHButtonBox" id="dialog-action_area1">
     45 	  <property name="visible">True</property>
     46 	  <property name="layout_style">GTK_BUTTONBOX_END</property>
     47 
     48 	  <child>
     49 	    <widget class="GtkButton" id="cancelbutton1">
     50 	      <property name="visible">True</property>
     51 	      <property name="can_default">True</property>
     52 	      <property name="can_focus">True</property>
     53 	      <property name="label">gtk-cancel</property>
     54 	      <property name="use_stock">True</property>
     55 	      <property name="relief">GTK_RELIEF_NORMAL</property>
     56 	      <property name="focus_on_click">True</property>
     57 	      <property name="response_id">-6</property>
     58 	    </widget>
     59 	  </child>
     60 
     61 	  <child>
     62 	    <widget class="GtkButton" id="okbutton1">
     63 	      <property name="visible">True</property>
     64 	      <property name="can_default">True</property>
     65 	      <property name="can_focus">True</property>
     66 	      <property name="label">gtk-ok</property>
     67 	      <property name="use_stock">True</property>
     68 	      <property name="relief">GTK_RELIEF_NORMAL</property>
     69 	      <property name="focus_on_click">True</property>
     70 	      <property name="response_id">-5</property>
     71 	    </widget>
     72 	  </child>
     73 	</widget>
     74 	<packing>
     75 	  <property name="padding">0</property>
     76 	  <property name="expand">False</property>
     77 	  <property name="fill">True</property>
     78 	  <property name="pack_type">GTK_PACK_END</property>
     79 	</packing>
     80       </child>
     81 
     82       <child>
     83 	<widget class="GtkVBox" id="vbox2">
     84 	  <property name="visible">True</property>
     85 	  <property name="homogeneous">False</property>
     86 	  <property name="spacing">0</property>
     87 
     88 	  <child>
     89 	    <widget class="GtkTable" id="table1">
     90 	      <property name="visible">True</property>
     91 	      <property name="n_rows">3</property>
     92 	      <property name="n_columns">2</property>
     93 	      <property name="homogeneous">False</property>
     94 	      <property name="row_spacing">4</property>
     95 	      <property name="column_spacing">6</property>
     96 
     97 	      <child>
     98 		<widget class="GtkLabel" id="label15">
     99 		  <property name="visible">True</property>
    100 		  <property name="label" translatable="yes">Login Name</property>
    101 		  <property name="use_underline">False</property>
    102 		  <property name="use_markup">False</property>
    103 		  <property name="justify">GTK_JUSTIFY_LEFT</property>
    104 		  <property name="wrap">False</property>
    105 		  <property name="selectable">False</property>
    106 		  <property name="xalign">0</property>
    107 		  <property name="yalign">0.5</property>
    108 		  <property name="xpad">0</property>
    109 		  <property name="ypad">0</property>
    110 		  <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
    111 		  <property name="width_chars">-1</property>
    112 		  <property name="single_line_mode">False</property>
    113 		  <property name="angle">0</property>
    114 		</widget>
    115 		<packing>
    116 		  <property name="left_attach">0</property>
    117 		  <property name="right_attach">1</property>
    118 		  <property name="top_attach">0</property>
    119 		  <property name="bottom_attach">1</property>
    120 		  <property name="x_options">fill</property>
    121 		  <property name="y_options"></property>
    122 		</packing>
    123 	      </child>
    124 
    125 	      <child>
    126 		<widget class="GtkLabel" id="label16">
    127 		  <property name="visible">True</property>
    128 		  <property name="label" translatable="yes">SELinux User</property>
    129 		  <property name="use_underline">False</property>
    130 		  <property name="use_markup">False</property>
    131 		  <property name="justify">GTK_JUSTIFY_LEFT</property>
    132 		  <property name="wrap">False</property>
    133 		  <property name="selectable">False</property>
    134 		  <property name="xalign">0</property>
    135 		  <property name="yalign">0.5</property>
    136 		  <property name="xpad">0</property>
    137 		  <property name="ypad">0</property>
    138 		  <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
    139 		  <property name="width_chars">-1</property>
    140 		  <property name="single_line_mode">False</property>
    141 		  <property name="angle">0</property>
    142 		</widget>
    143 		<packing>
    144 		  <property name="left_attach">0</property>
    145 		  <property name="right_attach">1</property>
    146 		  <property name="top_attach">1</property>
    147 		  <property name="bottom_attach">2</property>
    148 		  <property name="x_options">fill</property>
    149 		  <property name="y_options"></property>
    150 		</packing>
    151 	      </child>
    152 
    153 	      <child>
    154 		<widget class="GtkLabel" id="label17">
    155 		  <property name="visible">True</property>
    156 		  <property name="label" translatable="yes">MLS/MCS Range</property>
    157 		  <property name="use_underline">False</property>
    158 		  <property name="use_markup">False</property>
    159 		  <property name="justify">GTK_JUSTIFY_LEFT</property>
    160 		  <property name="wrap">False</property>
    161 		  <property name="selectable">False</property>
    162 		  <property name="xalign">0</property>
    163 		  <property name="yalign">0.5</property>
    164 		  <property name="xpad">0</property>
    165 		  <property name="ypad">0</property>
    166 		  <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
    167 		  <property name="width_chars">-1</property>
    168 		  <property name="single_line_mode">False</property>
    169 		  <property name="angle">0</property>
    170 		</widget>
    171 		<packing>
    172 		  <property name="left_attach">0</property>
    173 		  <property name="right_attach">1</property>
    174 		  <property name="top_attach">2</property>
    175 		  <property name="bottom_attach">3</property>
    176 		  <property name="x_options">fill</property>
    177 		  <property name="y_options"></property>
    178 		</packing>
    179 	      </child>
    180 
    181 	      <child>
    182 		<widget class="GtkEntry" id="loginsNameEntry">
    183 		  <property name="visible">True</property>
    184 		  <property name="can_focus">True</property>
    185 		  <property name="editable">True</property>
    186 		  <property name="visibility">True</property>
    187 		  <property name="max_length">0</property>
    188 		  <property name="text" translatable="yes"></property>
    189 		  <property name="has_frame">True</property>
    190 		  <property name="invisible_char">*</property>
    191 		  <property name="activates_default">False</property>
    192 		</widget>
    193 		<packing>
    194 		  <property name="left_attach">1</property>
    195 		  <property name="right_attach">2</property>
    196 		  <property name="top_attach">0</property>
    197 		  <property name="bottom_attach">1</property>
    198 		  <property name="y_options"></property>
    199 		</packing>
    200 	      </child>
    201 
    202 	      <child>
    203 		<widget class="GtkComboBox" id="loginsSelinuxUserCombo">
    204 		  <property name="visible">True</property>
    205 		  <property name="add_tearoffs">False</property>
    206 		  <property name="focus_on_click">True</property>
    207 		</widget>
    208 		<packing>
    209 		  <property name="left_attach">1</property>
    210 		  <property name="right_attach">2</property>
    211 		  <property name="top_attach">1</property>
    212 		  <property name="bottom_attach">2</property>
    213 		  <property name="x_options">fill</property>
    214 		  <property name="y_options">fill</property>
    215 		</packing>
    216 	      </child>
    217 
    218 	      <child>
    219 		<widget class="GtkEntry" id="loginsMLSEntry">
    220 		  <property name="visible">True</property>
    221 		  <property name="can_focus">True</property>
    222 		  <property name="editable">True</property>
    223 		  <property name="visibility">True</property>
    224 		  <property name="max_length">0</property>
    225 		  <property name="text" translatable="yes"></property>
    226 		  <property name="has_frame">True</property>
    227 		  <property name="invisible_char">*</property>
    228 		  <property name="activates_default">False</property>
    229 		</widget>
    230 		<packing>
    231 		  <property name="left_attach">1</property>
    232 		  <property name="right_attach">2</property>
    233 		  <property name="top_attach">2</property>
    234 		  <property name="bottom_attach">3</property>
    235 		  <property name="y_options"></property>
    236 		</packing>
    237 	      </child>
    238 	    </widget>
    239 	    <packing>
    240 	      <property name="padding">5</property>
    241 	      <property name="expand">True</property>
    242 	      <property name="fill">True</property>
    243 	    </packing>
    244 	  </child>
    245 	</widget>
    246 	<packing>
    247 	  <property name="padding">0</property>
    248 	  <property name="expand">True</property>
    249 	  <property name="fill">True</property>
    250 	</packing>
    251       </child>
    252     </widget>
    253   </child>
    254 </widget>
    255 
    256 <widget class="GtkDialog" id="portsDialog">
    257   <property name="title" translatable="yes">Add SELinux Network Ports</property>
    258   <property name="type">GTK_WINDOW_TOPLEVEL</property>
    259   <property name="window_position">GTK_WIN_POS_NONE</property>
    260   <property name="modal">False</property>
    261   <property name="resizable">True</property>
    262   <property name="destroy_with_parent">False</property>
    263   <property name="decorated">True</property>
    264   <property name="skip_taskbar_hint">False</property>
    265   <property name="skip_pager_hint">False</property>
    266   <property name="type_hint">GDK_WINDOW_TYPE_HINT_DIALOG</property>
    267   <property name="gravity">GDK_GRAVITY_NORTH_WEST</property>
    268   <property name="focus_on_map">True</property>
    269   <property name="urgency_hint">False</property>
    270   <property name="has_separator">True</property>
    271 
    272   <child internal-child="vbox">
    273     <widget class="GtkVBox" id="vbox3">
    274       <property name="visible">True</property>
    275       <property name="homogeneous">False</property>
    276       <property name="spacing">0</property>
    277 
    278       <child internal-child="action_area">
    279 	<widget class="GtkHButtonBox" id="hbuttonbox1">
    280 	  <property name="visible">True</property>
    281 	  <property name="layout_style">GTK_BUTTONBOX_END</property>
    282 
    283 	  <child>
    284 	    <widget class="GtkButton" id="button1">
    285 	      <property name="visible">True</property>
    286 	      <property name="can_default">True</property>
    287 	      <property name="can_focus">True</property>
    288 	      <property name="label">gtk-cancel</property>
    289 	      <property name="use_stock">True</property>
    290 	      <property name="relief">GTK_RELIEF_NORMAL</property>
    291 	      <property name="focus_on_click">True</property>
    292 	      <property name="response_id">-6</property>
    293 	    </widget>
    294 	  </child>
    295 
    296 	  <child>
    297 	    <widget class="GtkButton" id="button2">
    298 	      <property name="visible">True</property>
    299 	      <property name="can_default">True</property>
    300 	      <property name="can_focus">True</property>
    301 	      <property name="label">gtk-ok</property>
    302 	      <property name="use_stock">True</property>
    303 	      <property name="relief">GTK_RELIEF_NORMAL</property>
    304 	      <property name="focus_on_click">True</property>
    305 	      <property name="response_id">-5</property>
    306 	    </widget>
    307 	  </child>
    308 	</widget>
    309 	<packing>
    310 	  <property name="padding">0</property>
    311 	  <property name="expand">False</property>
    312 	  <property name="fill">True</property>
    313 	  <property name="pack_type">GTK_PACK_END</property>
    314 	</packing>
    315       </child>
    316 
    317       <child>
    318 	<widget class="GtkVBox" id="vbox4">
    319 	  <property name="visible">True</property>
    320 	  <property name="homogeneous">False</property>
    321 	  <property name="spacing">0</property>
    322 
    323 	  <child>
    324 	    <widget class="GtkTable" id="table2">
    325 	      <property name="visible">True</property>
    326 	      <property name="n_rows">4</property>
    327 	      <property name="n_columns">2</property>
    328 	      <property name="homogeneous">False</property>
    329 	      <property name="row_spacing">4</property>
    330 	      <property name="column_spacing">6</property>
    331 
    332 	      <child>
    333 		<widget class="GtkLabel" id="label18">
    334 		  <property name="visible">True</property>
    335 		  <property name="label" translatable="yes">Port Number</property>
    336 		  <property name="use_underline">False</property>
    337 		  <property name="use_markup">False</property>
    338 		  <property name="justify">GTK_JUSTIFY_LEFT</property>
    339 		  <property name="wrap">False</property>
    340 		  <property name="selectable">False</property>
    341 		  <property name="xalign">0</property>
    342 		  <property name="yalign">0.5</property>
    343 		  <property name="xpad">0</property>
    344 		  <property name="ypad">0</property>
    345 		  <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
    346 		  <property name="width_chars">-1</property>
    347 		  <property name="single_line_mode">False</property>
    348 		  <property name="angle">0</property>
    349 		</widget>
    350 		<packing>
    351 		  <property name="left_attach">0</property>
    352 		  <property name="right_attach">1</property>
    353 		  <property name="top_attach">0</property>
    354 		  <property name="bottom_attach">1</property>
    355 		  <property name="x_options">fill</property>
    356 		  <property name="y_options"></property>
    357 		</packing>
    358 	      </child>
    359 
    360 	      <child>
    361 		<widget class="GtkLabel" id="label19">
    362 		  <property name="visible">True</property>
    363 		  <property name="label" translatable="yes">Protocol</property>
    364 		  <property name="use_underline">False</property>
    365 		  <property name="use_markup">False</property>
    366 		  <property name="justify">GTK_JUSTIFY_LEFT</property>
    367 		  <property name="wrap">False</property>
    368 		  <property name="selectable">False</property>
    369 		  <property name="xalign">0</property>
    370 		  <property name="yalign">0.5</property>
    371 		  <property name="xpad">0</property>
    372 		  <property name="ypad">0</property>
    373 		  <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
    374 		  <property name="width_chars">-1</property>
    375 		  <property name="single_line_mode">False</property>
    376 		  <property name="angle">0</property>
    377 		</widget>
    378 		<packing>
    379 		  <property name="left_attach">0</property>
    380 		  <property name="right_attach">1</property>
    381 		  <property name="top_attach">1</property>
    382 		  <property name="bottom_attach">2</property>
    383 		  <property name="x_options">fill</property>
    384 		  <property name="y_options"></property>
    385 		</packing>
    386 	      </child>
    387 
    388 	      <child>
    389 		<widget class="GtkLabel" id="label20">
    390 		  <property name="visible">True</property>
    391 		  <property name="label" translatable="yes">SELinux Type</property>
    392 		  <property name="use_underline">False</property>
    393 		  <property name="use_markup">False</property>
    394 		  <property name="justify">GTK_JUSTIFY_LEFT</property>
    395 		  <property name="wrap">False</property>
    396 		  <property name="selectable">False</property>
    397 		  <property name="xalign">0</property>
    398 		  <property name="yalign">0.5</property>
    399 		  <property name="xpad">0</property>
    400 		  <property name="ypad">0</property>
    401 		  <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
    402 		  <property name="width_chars">-1</property>
    403 		  <property name="single_line_mode">False</property>
    404 		  <property name="angle">0</property>
    405 		</widget>
    406 		<packing>
    407 		  <property name="left_attach">0</property>
    408 		  <property name="right_attach">1</property>
    409 		  <property name="top_attach">2</property>
    410 		  <property name="bottom_attach">3</property>
    411 		  <property name="x_options">fill</property>
    412 		  <property name="y_options"></property>
    413 		</packing>
    414 	      </child>
    415 
    416 	      <child>
    417 		<widget class="GtkEntry" id="portsNumberEntry">
    418 		  <property name="visible">True</property>
    419 		  <property name="can_focus">True</property>
    420 		  <property name="editable">True</property>
    421 		  <property name="visibility">True</property>
    422 		  <property name="max_length">0</property>
    423 		  <property name="text" translatable="yes"></property>
    424 		  <property name="has_frame">True</property>
    425 		  <property name="invisible_char">*</property>
    426 		  <property name="activates_default">False</property>
    427 		</widget>
    428 		<packing>
    429 		  <property name="left_attach">1</property>
    430 		  <property name="right_attach">2</property>
    431 		  <property name="top_attach">0</property>
    432 		  <property name="bottom_attach">1</property>
    433 		  <property name="y_options"></property>
    434 		</packing>
    435 	      </child>
    436 
    437 	      <child>
    438 		<widget class="GtkComboBox" id="portsProtocolCombo">
    439 		  <property name="visible">True</property>
    440 		  <property name="items">tcp
    441 udp</property>
    442 		  <property name="add_tearoffs">False</property>
    443 		  <property name="focus_on_click">True</property>
    444 		</widget>
    445 		<packing>
    446 		  <property name="left_attach">1</property>
    447 		  <property name="right_attach">2</property>
    448 		  <property name="top_attach">1</property>
    449 		  <property name="bottom_attach">2</property>
    450 		  <property name="x_options">fill</property>
    451 		  <property name="y_options">fill</property>
    452 		</packing>
    453 	      </child>
    454 
    455 	      <child>
    456 		<widget class="GtkEntry" id="portsNameEntry">
    457 		  <property name="visible">True</property>
    458 		  <property name="can_focus">True</property>
    459 		  <property name="editable">True</property>
    460 		  <property name="visibility">True</property>
    461 		  <property name="max_length">0</property>
    462 		  <property name="text" translatable="yes"></property>
    463 		  <property name="has_frame">True</property>
    464 		  <property name="invisible_char">*</property>
    465 		  <property name="activates_default">False</property>
    466 		</widget>
    467 		<packing>
    468 		  <property name="left_attach">1</property>
    469 		  <property name="right_attach">2</property>
    470 		  <property name="top_attach">2</property>
    471 		  <property name="bottom_attach">3</property>
    472 		  <property name="y_options"></property>
    473 		</packing>
    474 	      </child>
    475 
    476 	      <child>
    477 		<widget class="GtkLabel" id="label21">
    478 		  <property name="visible">True</property>
    479 		  <property name="label" translatable="yes">MLS/MCS
    480 Level</property>
    481 		  <property name="use_underline">False</property>
    482 		  <property name="use_markup">False</property>
    483 		  <property name="justify">GTK_JUSTIFY_LEFT</property>
    484 		  <property name="wrap">False</property>
    485 		  <property name="selectable">False</property>
    486 		  <property name="xalign">0</property>
    487 		  <property name="yalign">0.5</property>
    488 		  <property name="xpad">0</property>
    489 		  <property name="ypad">0</property>
    490 		  <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
    491 		  <property name="width_chars">-1</property>
    492 		  <property name="single_line_mode">False</property>
    493 		  <property name="angle">0</property>
    494 		</widget>
    495 		<packing>
    496 		  <property name="left_attach">0</property>
    497 		  <property name="right_attach">1</property>
    498 		  <property name="top_attach">3</property>
    499 		  <property name="bottom_attach">4</property>
    500 		  <property name="x_options">fill</property>
    501 		  <property name="y_options"></property>
    502 		</packing>
    503 	      </child>
    504 
    505 	      <child>
    506 		<widget class="GtkEntry" id="portsMLSEntry">
    507 		  <property name="visible">True</property>
    508 		  <property name="can_focus">True</property>
    509 		  <property name="editable">True</property>
    510 		  <property name="visibility">True</property>
    511 		  <property name="max_length">0</property>
    512 		  <property name="text" translatable="yes"></property>
    513 		  <property name="has_frame">True</property>
    514 		  <property name="invisible_char">*</property>
    515 		  <property name="activates_default">False</property>
    516 		</widget>
    517 		<packing>
    518 		  <property name="left_attach">1</property>
    519 		  <property name="right_attach">2</property>
    520 		  <property name="top_attach">3</property>
    521 		  <property name="bottom_attach">4</property>
    522 		  <property name="y_options"></property>
    523 		</packing>
    524 	      </child>
    525 	    </widget>
    526 	    <packing>
    527 	      <property name="padding">5</property>
    528 	      <property name="expand">True</property>
    529 	      <property name="fill">True</property>
    530 	    </packing>
    531 	  </child>
    532 	</widget>
    533 	<packing>
    534 	  <property name="padding">0</property>
    535 	  <property name="expand">True</property>
    536 	  <property name="fill">True</property>
    537 	</packing>
    538       </child>
    539     </widget>
    540   </child>
    541 </widget>
    542 
    543 <widget class="GtkDialog" id="fcontextDialog">
    544   <property name="title" translatable="yes">Add SELinux Login Mapping</property>
    545   <property name="type">GTK_WINDOW_TOPLEVEL</property>
    546   <property name="window_position">GTK_WIN_POS_NONE</property>
    547   <property name="modal">False</property>
    548   <property name="resizable">True</property>
    549   <property name="destroy_with_parent">False</property>
    550   <property name="decorated">True</property>
    551   <property name="skip_taskbar_hint">False</property>
    552   <property name="skip_pager_hint">False</property>
    553   <property name="type_hint">GDK_WINDOW_TYPE_HINT_DIALOG</property>
    554   <property name="gravity">GDK_GRAVITY_NORTH_WEST</property>
    555   <property name="focus_on_map">True</property>
    556   <property name="urgency_hint">False</property>
    557   <property name="has_separator">True</property>
    558 
    559   <child internal-child="vbox">
    560     <widget class="GtkVBox" id="vbox7">
    561       <property name="visible">True</property>
    562       <property name="homogeneous">False</property>
    563       <property name="spacing">0</property>
    564 
    565       <child internal-child="action_area">
    566 	<widget class="GtkHButtonBox" id="hbuttonbox3">
    567 	  <property name="visible">True</property>
    568 	  <property name="layout_style">GTK_BUTTONBOX_END</property>
    569 
    570 	  <child>
    571 	    <widget class="GtkButton" id="button5">
    572 	      <property name="visible">True</property>
    573 	      <property name="can_default">True</property>
    574 	      <property name="can_focus">True</property>
    575 	      <property name="label">gtk-cancel</property>
    576 	      <property name="use_stock">True</property>
    577 	      <property name="relief">GTK_RELIEF_NORMAL</property>
    578 	      <property name="focus_on_click">True</property>
    579 	      <property name="response_id">-6</property>
    580 	    </widget>
    581 	  </child>
    582 
    583 	  <child>
    584 	    <widget class="GtkButton" id="button6">
    585 	      <property name="visible">True</property>
    586 	      <property name="can_default">True</property>
    587 	      <property name="can_focus">True</property>
    588 	      <property name="label">gtk-ok</property>
    589 	      <property name="use_stock">True</property>
    590 	      <property name="relief">GTK_RELIEF_NORMAL</property>
    591 	      <property name="focus_on_click">True</property>
    592 	      <property name="response_id">-5</property>
    593 	    </widget>
    594 	  </child>
    595 	</widget>
    596 	<packing>
    597 	  <property name="padding">0</property>
    598 	  <property name="expand">False</property>
    599 	  <property name="fill">True</property>
    600 	  <property name="pack_type">GTK_PACK_END</property>
    601 	</packing>
    602       </child>
    603 
    604       <child>
    605 	<widget class="GtkVBox" id="vbox8">
    606 	  <property name="visible">True</property>
    607 	  <property name="homogeneous">False</property>
    608 	  <property name="spacing">0</property>
    609 
    610 	  <child>
    611 	    <widget class="GtkTable" id="table4">
    612 	      <property name="visible">True</property>
    613 	      <property name="n_rows">4</property>
    614 	      <property name="n_columns">2</property>
    615 	      <property name="homogeneous">False</property>
    616 	      <property name="row_spacing">4</property>
    617 	      <property name="column_spacing">6</property>
    618 
    619 	      <child>
    620 		<widget class="GtkLabel" id="label25">
    621 		  <property name="visible">True</property>
    622 		  <property name="label" translatable="yes">File Specification</property>
    623 		  <property name="use_underline">False</property>
    624 		  <property name="use_markup">False</property>
    625 		  <property name="justify">GTK_JUSTIFY_LEFT</property>
    626 		  <property name="wrap">False</property>
    627 		  <property name="selectable">False</property>
    628 		  <property name="xalign">0</property>
    629 		  <property name="yalign">0.5</property>
    630 		  <property name="xpad">0</property>
    631 		  <property name="ypad">0</property>
    632 		  <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
    633 		  <property name="width_chars">-1</property>
    634 		  <property name="single_line_mode">False</property>
    635 		  <property name="angle">0</property>
    636 		</widget>
    637 		<packing>
    638 		  <property name="left_attach">0</property>
    639 		  <property name="right_attach">1</property>
    640 		  <property name="top_attach">0</property>
    641 		  <property name="bottom_attach">1</property>
    642 		  <property name="x_options">fill</property>
    643 		  <property name="y_options"></property>
    644 		</packing>
    645 	      </child>
    646 
    647 	      <child>
    648 		<widget class="GtkLabel" id="label26">
    649 		  <property name="visible">True</property>
    650 		  <property name="label" translatable="yes">File Type</property>
    651 		  <property name="use_underline">False</property>
    652 		  <property name="use_markup">False</property>
    653 		  <property name="justify">GTK_JUSTIFY_LEFT</property>
    654 		  <property name="wrap">False</property>
    655 		  <property name="selectable">False</property>
    656 		  <property name="xalign">0</property>
    657 		  <property name="yalign">0.5</property>
    658 		  <property name="xpad">0</property>
    659 		  <property name="ypad">0</property>
    660 		  <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
    661 		  <property name="width_chars">-1</property>
    662 		  <property name="single_line_mode">False</property>
    663 		  <property name="angle">0</property>
    664 		</widget>
    665 		<packing>
    666 		  <property name="left_attach">0</property>
    667 		  <property name="right_attach">1</property>
    668 		  <property name="top_attach">1</property>
    669 		  <property name="bottom_attach">2</property>
    670 		  <property name="x_options">fill</property>
    671 		  <property name="y_options"></property>
    672 		</packing>
    673 	      </child>
    674 
    675 	      <child>
    676 		<widget class="GtkLabel" id="label27">
    677 		  <property name="visible">True</property>
    678 		  <property name="label" translatable="yes">SELinux Type</property>
    679 		  <property name="use_underline">False</property>
    680 		  <property name="use_markup">False</property>
    681 		  <property name="justify">GTK_JUSTIFY_LEFT</property>
    682 		  <property name="wrap">False</property>
    683 		  <property name="selectable">False</property>
    684 		  <property name="xalign">0</property>
    685 		  <property name="yalign">0.5</property>
    686 		  <property name="xpad">0</property>
    687 		  <property name="ypad">0</property>
    688 		  <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
    689 		  <property name="width_chars">-1</property>
    690 		  <property name="single_line_mode">False</property>
    691 		  <property name="angle">0</property>
    692 		</widget>
    693 		<packing>
    694 		  <property name="left_attach">0</property>
    695 		  <property name="right_attach">1</property>
    696 		  <property name="top_attach">2</property>
    697 		  <property name="bottom_attach">3</property>
    698 		  <property name="x_options">fill</property>
    699 		  <property name="y_options"></property>
    700 		</packing>
    701 	      </child>
    702 
    703 	      <child>
    704 		<widget class="GtkEntry" id="fcontextEntry">
    705 		  <property name="visible">True</property>
    706 		  <property name="can_focus">True</property>
    707 		  <property name="editable">True</property>
    708 		  <property name="visibility">True</property>
    709 		  <property name="max_length">0</property>
    710 		  <property name="text" translatable="yes"></property>
    711 		  <property name="has_frame">True</property>
    712 		  <property name="invisible_char">*</property>
    713 		  <property name="activates_default">False</property>
    714 		</widget>
    715 		<packing>
    716 		  <property name="left_attach">1</property>
    717 		  <property name="right_attach">2</property>
    718 		  <property name="top_attach">0</property>
    719 		  <property name="bottom_attach">1</property>
    720 		  <property name="y_options"></property>
    721 		</packing>
    722 	      </child>
    723 
    724 	      <child>
    725 		<widget class="GtkComboBox" id="fcontextFileTypeCombo">
    726 		  <property name="visible">True</property>
    727 		  <property name="items" translatable="yes">all files
    728 regular file
    729 directory
    730 character device
    731 block device
    732 socket
    733 symbolic link
    734 named pipe
    735 </property>
    736 		  <property name="add_tearoffs">False</property>
    737 		  <property name="focus_on_click">True</property>
    738 		</widget>
    739 		<packing>
    740 		  <property name="left_attach">1</property>
    741 		  <property name="right_attach">2</property>
    742 		  <property name="top_attach">1</property>
    743 		  <property name="bottom_attach">2</property>
    744 		  <property name="x_options">fill</property>
    745 		  <property name="y_options">fill</property>
    746 		</packing>
    747 	      </child>
    748 
    749 	      <child>
    750 		<widget class="GtkEntry" id="fcontextTypeEntry">
    751 		  <property name="visible">True</property>
    752 		  <property name="can_focus">True</property>
    753 		  <property name="editable">True</property>
    754 		  <property name="visibility">True</property>
    755 		  <property name="max_length">0</property>
    756 		  <property name="text" translatable="yes"></property>
    757 		  <property name="has_frame">True</property>
    758 		  <property name="invisible_char">*</property>
    759 		  <property name="activates_default">False</property>
    760 		</widget>
    761 		<packing>
    762 		  <property name="left_attach">1</property>
    763 		  <property name="right_attach">2</property>
    764 		  <property name="top_attach">2</property>
    765 		  <property name="bottom_attach">3</property>
    766 		  <property name="y_options"></property>
    767 		</packing>
    768 	      </child>
    769 
    770 	      <child>
    771 		<widget class="GtkLabel" id="label31">
    772 		  <property name="visible">True</property>
    773 		  <property name="label" translatable="yes">MLS</property>
    774 		  <property name="use_underline">False</property>
    775 		  <property name="use_markup">False</property>
    776 		  <property name="justify">GTK_JUSTIFY_LEFT</property>
    777 		  <property name="wrap">False</property>
    778 		  <property name="selectable">False</property>
    779 		  <property name="xalign">0</property>
    780 		  <property name="yalign">0.5</property>
    781 		  <property name="xpad">0</property>
    782 		  <property name="ypad">0</property>
    783 		  <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
    784 		  <property name="width_chars">-1</property>
    785 		  <property name="single_line_mode">False</property>
    786 		  <property name="angle">0</property>
    787 		</widget>
    788 		<packing>
    789 		  <property name="left_attach">0</property>
    790 		  <property name="right_attach">1</property>
    791 		  <property name="top_attach">3</property>
    792 		  <property name="bottom_attach">4</property>
    793 		  <property name="x_options">fill</property>
    794 		  <property name="y_options"></property>
    795 		</packing>
    796 	      </child>
    797 
    798 	      <child>
    799 		<widget class="GtkEntry" id="fcontextMLSEntry">
    800 		  <property name="visible">True</property>
    801 		  <property name="can_focus">True</property>
    802 		  <property name="editable">True</property>
    803 		  <property name="visibility">True</property>
    804 		  <property name="max_length">0</property>
    805 		  <property name="text" translatable="yes"></property>
    806 		  <property name="has_frame">True</property>
    807 		  <property name="invisible_char">*</property>
    808 		  <property name="activates_default">False</property>
    809 		</widget>
    810 		<packing>
    811 		  <property name="left_attach">1</property>
    812 		  <property name="right_attach">2</property>
    813 		  <property name="top_attach">3</property>
    814 		  <property name="bottom_attach">4</property>
    815 		  <property name="y_options"></property>
    816 		</packing>
    817 	      </child>
    818 	    </widget>
    819 	    <packing>
    820 	      <property name="padding">5</property>
    821 	      <property name="expand">True</property>
    822 	      <property name="fill">True</property>
    823 	    </packing>
    824 	  </child>
    825 	</widget>
    826 	<packing>
    827 	  <property name="padding">0</property>
    828 	  <property name="expand">True</property>
    829 	  <property name="fill">True</property>
    830 	</packing>
    831       </child>
    832     </widget>
    833   </child>
    834 </widget>
    835 
    836 <widget class="GtkDialog" id="usersDialog">
    837   <property name="title" translatable="yes">Add SELinux User</property>
    838   <property name="type">GTK_WINDOW_TOPLEVEL</property>
    839   <property name="window_position">GTK_WIN_POS_NONE</property>
    840   <property name="modal">False</property>
    841   <property name="resizable">True</property>
    842   <property name="destroy_with_parent">False</property>
    843   <property name="decorated">True</property>
    844   <property name="skip_taskbar_hint">False</property>
    845   <property name="skip_pager_hint">False</property>
    846   <property name="type_hint">GDK_WINDOW_TYPE_HINT_DIALOG</property>
    847   <property name="gravity">GDK_GRAVITY_NORTH_WEST</property>
    848   <property name="focus_on_map">True</property>
    849   <property name="urgency_hint">False</property>
    850   <property name="has_separator">True</property>
    851 
    852   <child internal-child="vbox">
    853     <widget class="GtkVBox" id="vbox9">
    854       <property name="visible">True</property>
    855       <property name="homogeneous">False</property>
    856       <property name="spacing">0</property>
    857 
    858       <child internal-child="action_area">
    859 	<widget class="GtkHButtonBox" id="hbuttonbox4">
    860 	  <property name="visible">True</property>
    861 	  <property name="layout_style">GTK_BUTTONBOX_END</property>
    862 
    863 	  <child>
    864 	    <widget class="GtkButton" id="button7">
    865 	      <property name="visible">True</property>
    866 	      <property name="can_default">True</property>
    867 	      <property name="can_focus">True</property>
    868 	      <property name="label">gtk-cancel</property>
    869 	      <property name="use_stock">True</property>
    870 	      <property name="relief">GTK_RELIEF_NORMAL</property>
    871 	      <property name="focus_on_click">True</property>
    872 	      <property name="response_id">-6</property>
    873 	    </widget>
    874 	  </child>
    875 
    876 	  <child>
    877 	    <widget class="GtkButton" id="button8">
    878 	      <property name="visible">True</property>
    879 	      <property name="can_default">True</property>
    880 	      <property name="can_focus">True</property>
    881 	      <property name="label">gtk-ok</property>
    882 	      <property name="use_stock">True</property>
    883 	      <property name="relief">GTK_RELIEF_NORMAL</property>
    884 	      <property name="focus_on_click">True</property>
    885 	      <property name="response_id">-5</property>
    886 	    </widget>
    887 	  </child>
    888 	</widget>
    889 	<packing>
    890 	  <property name="padding">0</property>
    891 	  <property name="expand">False</property>
    892 	  <property name="fill">True</property>
    893 	  <property name="pack_type">GTK_PACK_END</property>
    894 	</packing>
    895       </child>
    896 
    897       <child>
    898 	<widget class="GtkVBox" id="vbox10">
    899 	  <property name="visible">True</property>
    900 	  <property name="homogeneous">False</property>
    901 	  <property name="spacing">0</property>
    902 
    903 	  <child>
    904 	    <widget class="GtkTable" id="table5">
    905 	      <property name="visible">True</property>
    906 	      <property name="n_rows">3</property>
    907 	      <property name="n_columns">2</property>
    908 	      <property name="homogeneous">False</property>
    909 	      <property name="row_spacing">4</property>
    910 	      <property name="column_spacing">6</property>
    911 
    912 	      <child>
    913 		<widget class="GtkLabel" id="label32">
    914 		  <property name="visible">True</property>
    915 		  <property name="label" translatable="yes">SELinux User</property>
    916 		  <property name="use_underline">False</property>
    917 		  <property name="use_markup">False</property>
    918 		  <property name="justify">GTK_JUSTIFY_LEFT</property>
    919 		  <property name="wrap">False</property>
    920 		  <property name="selectable">False</property>
    921 		  <property name="xalign">0</property>
    922 		  <property name="yalign">0.5</property>
    923 		  <property name="xpad">0</property>
    924 		  <property name="ypad">0</property>
    925 		  <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
    926 		  <property name="width_chars">-1</property>
    927 		  <property name="single_line_mode">False</property>
    928 		  <property name="angle">0</property>
    929 		</widget>
    930 		<packing>
    931 		  <property name="left_attach">0</property>
    932 		  <property name="right_attach">1</property>
    933 		  <property name="top_attach">0</property>
    934 		  <property name="bottom_attach">1</property>
    935 		  <property name="x_options">fill</property>
    936 		  <property name="y_options"></property>
    937 		</packing>
    938 	      </child>
    939 
    940 	      <child>
    941 		<widget class="GtkLabel" id="label34">
    942 		  <property name="visible">True</property>
    943 		  <property name="label" translatable="yes">MLS/MCS Range</property>
    944 		  <property name="use_underline">False</property>
    945 		  <property name="use_markup">False</property>
    946 		  <property name="justify">GTK_JUSTIFY_LEFT</property>
    947 		  <property name="wrap">False</property>
    948 		  <property name="selectable">False</property>
    949 		  <property name="xalign">0</property>
    950 		  <property name="yalign">0.5</property>
    951 		  <property name="xpad">0</property>
    952 		  <property name="ypad">0</property>
    953 		  <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
    954 		  <property name="width_chars">-1</property>
    955 		  <property name="single_line_mode">False</property>
    956 		  <property name="angle">0</property>
    957 		</widget>
    958 		<packing>
    959 		  <property name="left_attach">0</property>
    960 		  <property name="right_attach">1</property>
    961 		  <property name="top_attach">1</property>
    962 		  <property name="bottom_attach">2</property>
    963 		  <property name="x_options">fill</property>
    964 		  <property name="y_options"></property>
    965 		</packing>
    966 	      </child>
    967 
    968 	      <child>
    969 		<widget class="GtkEntry" id="mlsRangeEntry">
    970 		  <property name="visible">True</property>
    971 		  <property name="can_focus">True</property>
    972 		  <property name="editable">True</property>
    973 		  <property name="visibility">True</property>
    974 		  <property name="max_length">0</property>
    975 		  <property name="text" translatable="yes"></property>
    976 		  <property name="has_frame">True</property>
    977 		  <property name="invisible_char">*</property>
    978 		  <property name="activates_default">False</property>
    979 		</widget>
    980 		<packing>
    981 		  <property name="left_attach">1</property>
    982 		  <property name="right_attach">2</property>
    983 		  <property name="top_attach">1</property>
    984 		  <property name="bottom_attach">2</property>
    985 		  <property name="y_options"></property>
    986 		</packing>
    987 	      </child>
    988 
    989 	      <child>
    990 		<widget class="GtkLabel" id="label36">
    991 		  <property name="visible">True</property>
    992 		  <property name="label" translatable="yes">SELinux Roles</property>
    993 		  <property name="use_underline">False</property>
    994 		  <property name="use_markup">False</property>
    995 		  <property name="justify">GTK_JUSTIFY_LEFT</property>
    996 		  <property name="wrap">False</property>
    997 		  <property name="selectable">False</property>
    998 		  <property name="xalign">0</property>
    999 		  <property name="yalign">0.5</property>
   1000 		  <property name="xpad">0</property>
   1001 		  <property name="ypad">0</property>
   1002 		  <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
   1003 		  <property name="width_chars">-1</property>
   1004 		  <property name="single_line_mode">False</property>
   1005 		  <property name="angle">0</property>
   1006 		</widget>
   1007 		<packing>
   1008 		  <property name="left_attach">0</property>
   1009 		  <property name="right_attach">1</property>
   1010 		  <property name="top_attach">2</property>
   1011 		  <property name="bottom_attach">3</property>
   1012 		  <property name="x_options">fill</property>
   1013 		  <property name="y_options"></property>
   1014 		</packing>
   1015 	      </child>
   1016 
   1017 	      <child>
   1018 		<widget class="GtkEntry" id="selinuxRolesEntry">
   1019 		  <property name="visible">True</property>
   1020 		  <property name="can_focus">True</property>
   1021 		  <property name="editable">True</property>
   1022 		  <property name="visibility">True</property>
   1023 		  <property name="max_length">0</property>
   1024 		  <property name="text" translatable="yes"></property>
   1025 		  <property name="has_frame">True</property>
   1026 		  <property name="invisible_char">*</property>
   1027 		  <property name="activates_default">False</property>
   1028 		</widget>
   1029 		<packing>
   1030 		  <property name="left_attach">1</property>
   1031 		  <property name="right_attach">2</property>
   1032 		  <property name="top_attach">2</property>
   1033 		  <property name="bottom_attach">3</property>
   1034 		  <property name="y_options"></property>
   1035 		</packing>
   1036 	      </child>
   1037 
   1038 	      <child>
   1039 		<widget class="GtkEntry" id="selinuxUserEntry">
   1040 		  <property name="visible">True</property>
   1041 		  <property name="can_focus">True</property>
   1042 		  <property name="editable">True</property>
   1043 		  <property name="visibility">True</property>
   1044 		  <property name="max_length">0</property>
   1045 		  <property name="text" translatable="yes"></property>
   1046 		  <property name="has_frame">True</property>
   1047 		  <property name="invisible_char">*</property>
   1048 		  <property name="activates_default">False</property>
   1049 		</widget>
   1050 		<packing>
   1051 		  <property name="left_attach">1</property>
   1052 		  <property name="right_attach">2</property>
   1053 		  <property name="top_attach">0</property>
   1054 		  <property name="bottom_attach">1</property>
   1055 		  <property name="y_options"></property>
   1056 		</packing>
   1057 	      </child>
   1058 	    </widget>
   1059 	    <packing>
   1060 	      <property name="padding">5</property>
   1061 	      <property name="expand">True</property>
   1062 	      <property name="fill">True</property>
   1063 	    </packing>
   1064 	  </child>
   1065 	</widget>
   1066 	<packing>
   1067 	  <property name="padding">0</property>
   1068 	  <property name="expand">True</property>
   1069 	  <property name="fill">True</property>
   1070 	</packing>
   1071       </child>
   1072     </widget>
   1073   </child>
   1074 </widget>
   1075 
   1076 <widget class="GnomeApp" id="mainWindow">
   1077   <property name="width_request">800</property>
   1078   <property name="height_request">500</property>
   1079   <property name="title" translatable="yes">SELinux Administration</property>
   1080   <property name="type">GTK_WINDOW_TOPLEVEL</property>
   1081   <property name="window_position">GTK_WIN_POS_NONE</property>
   1082   <property name="modal">False</property>
   1083   <property name="resizable">True</property>
   1084   <property name="destroy_with_parent">False</property>
   1085   <property name="icon">system-config-selinux.png</property>
   1086   <property name="decorated">True</property>
   1087   <property name="skip_taskbar_hint">False</property>
   1088   <property name="skip_pager_hint">False</property>
   1089   <property name="type_hint">GDK_WINDOW_TYPE_HINT_NORMAL</property>
   1090   <property name="gravity">GDK_GRAVITY_NORTH_WEST</property>
   1091   <property name="focus_on_map">True</property>
   1092   <property name="urgency_hint">False</property>
   1093   <property name="enable_layout_config">True</property>
   1094 
   1095   <child internal-child="dock">
   1096     <widget class="BonoboDock" id="bonobodock2">
   1097       <property name="visible">True</property>
   1098       <property name="allow_floating">True</property>
   1099 
   1100       <child>
   1101 	<widget class="BonoboDockItem" id="bonobodockitem3">
   1102 	  <property name="visible">True</property>
   1103 	  <property name="shadow_type">GTK_SHADOW_NONE</property>
   1104 
   1105 	  <child>
   1106 	    <widget class="GtkMenuBar" id="menubar1">
   1107 	      <property name="visible">True</property>
   1108 	      <property name="pack_direction">GTK_PACK_DIRECTION_LTR</property>
   1109 	      <property name="child_pack_direction">GTK_PACK_DIRECTION_LTR</property>
   1110 
   1111 	      <child>
   1112 		<widget class="GtkMenuItem" id="file1">
   1113 		  <property name="visible">True</property>
   1114 		  <property name="stock_item">GNOMEUIINFO_MENU_FILE_TREE</property>
   1115 
   1116 		  <child>
   1117 		    <widget class="GtkMenu" id="file1_menu">
   1118 
   1119 		      <child>
   1120 			<widget class="GtkImageMenuItem" id="add_menu_item">
   1121 			  <property name="visible">True</property>
   1122 			  <property name="label" translatable="yes">Add</property>
   1123 			  <property name="use_underline">True</property>
   1124 			  <signal name="activate" handler="on_add_clicked" last_modification_time="Sat, 17 Mar 2007 12:21:12 GMT"/>
   1125 			  <accelerator key="a" modifiers="GDK_CONTROL_MASK" signal="activate"/>
   1126 
   1127 			  <child internal-child="image">
   1128 			    <widget class="GtkImage" id="image13">
   1129 			      <property name="visible">True</property>
   1130 			      <property name="stock">gtk-add</property>
   1131 			      <property name="icon_size">1</property>
   1132 			      <property name="xalign">0.5</property>
   1133 			      <property name="yalign">0.5</property>
   1134 			      <property name="xpad">0</property>
   1135 			      <property name="ypad">0</property>
   1136 			    </widget>
   1137 			  </child>
   1138 			</widget>
   1139 		      </child>
   1140 
   1141 		      <child>
   1142 			<widget class="GtkImageMenuItem" id="properties_menu_item">
   1143 			  <property name="visible">True</property>
   1144 			  <property name="label" translatable="yes">_Properties</property>
   1145 			  <property name="use_underline">True</property>
   1146 			  <signal name="activate" handler="on_properties_clicked" last_modification_time="Sat, 17 Mar 2007 12:21:12 GMT"/>
   1147 			  <accelerator key="p" modifiers="GDK_CONTROL_MASK" signal="activate"/>
   1148 
   1149 			  <child internal-child="image">
   1150 			    <widget class="GtkImage" id="image14">
   1151 			      <property name="visible">True</property>
   1152 			      <property name="stock">gtk-properties</property>
   1153 			      <property name="icon_size">1</property>
   1154 			      <property name="xalign">0.5</property>
   1155 			      <property name="yalign">0.5</property>
   1156 			      <property name="xpad">0</property>
   1157 			      <property name="ypad">0</property>
   1158 			    </widget>
   1159 			  </child>
   1160 			</widget>
   1161 		      </child>
   1162 
   1163 		      <child>
   1164 			<widget class="GtkImageMenuItem" id="delete_menu_item">
   1165 			  <property name="visible">True</property>
   1166 			  <property name="label" translatable="yes">_Delete</property>
   1167 			  <property name="use_underline">True</property>
   1168 			  <signal name="activate" handler="on_delete_clicked" last_modification_time="Sat, 17 Mar 2007 12:21:12 GMT"/>
   1169 			  <accelerator key="Delete" modifiers="0" signal="activate"/>
   1170 
   1171 			  <child internal-child="image">
   1172 			    <widget class="GtkImage" id="image15">
   1173 			      <property name="visible">True</property>
   1174 			      <property name="stock">gtk-delete</property>
   1175 			      <property name="icon_size">1</property>
   1176 			      <property name="xalign">0.5</property>
   1177 			      <property name="yalign">0.5</property>
   1178 			      <property name="xpad">0</property>
   1179 			      <property name="ypad">0</property>
   1180 			    </widget>
   1181 			  </child>
   1182 			</widget>
   1183 		      </child>
   1184 
   1185 		      <child>
   1186 			<widget class="GtkImageMenuItem" id="quit">
   1187 			  <property name="visible">True</property>
   1188 			  <property name="stock_item">GNOMEUIINFO_MENU_EXIT_ITEM</property>
   1189 			  <signal name="activate" handler="on_quit_activate" last_modification_time="Fri, 06 Oct 2006 13:58:19 GMT"/>
   1190 			</widget>
   1191 		      </child>
   1192 		    </widget>
   1193 		  </child>
   1194 		</widget>
   1195 	      </child>
   1196 
   1197 	      <child>
   1198 		<widget class="GtkMenuItem" id="help1">
   1199 		  <property name="visible">True</property>
   1200 		  <property name="stock_item">GNOMEUIINFO_MENU_HELP_TREE</property>
   1201 
   1202 		  <child>
   1203 		    <widget class="GtkMenu" id="help1_menu">
   1204 
   1205 		      <child>
   1206 			<widget class="GtkImageMenuItem" id="about">
   1207 			  <property name="visible">True</property>
   1208 			  <property name="stock_item">GNOMEUIINFO_MENU_ABOUT_ITEM</property>
   1209 			  <signal name="activate" handler="on_about_activate" last_modification_time="Fri, 06 Oct 2006 13:58:02 GMT"/>
   1210 			</widget>
   1211 		      </child>
   1212 		    </widget>
   1213 		  </child>
   1214 		</widget>
   1215 	      </child>
   1216 	    </widget>
   1217 	  </child>
   1218 	</widget>
   1219 	<packing>
   1220 	  <property name="placement">BONOBO_DOCK_TOP</property>
   1221 	  <property name="band">0</property>
   1222 	  <property name="position">0</property>
   1223 	  <property name="offset">0</property>
   1224 	  <property name="behavior">BONOBO_DOCK_ITEM_BEH_EXCLUSIVE|BONOBO_DOCK_ITEM_BEH_NEVER_VERTICAL|BONOBO_DOCK_ITEM_BEH_LOCKED</property>
   1225 	</packing>
   1226       </child>
   1227 
   1228       <child>
   1229 	<widget class="GtkHPaned" id="hpaned1">
   1230 	  <property name="visible">True</property>
   1231 	  <property name="can_focus">True</property>
   1232 
   1233 	  <child>
   1234 	    <widget class="GtkFrame" id="frame1">
   1235 	      <property name="border_width">5</property>
   1236 	      <property name="visible">True</property>
   1237 	      <property name="label_xalign">0</property>
   1238 	      <property name="label_yalign">0.5</property>
   1239 	      <property name="shadow_type">GTK_SHADOW_NONE</property>
   1240 
   1241 	      <child>
   1242 		<widget class="GtkAlignment" id="alignment1">
   1243 		  <property name="visible">True</property>
   1244 		  <property name="xalign">0.5</property>
   1245 		  <property name="yalign">0.5</property>
   1246 		  <property name="xscale">1</property>
   1247 		  <property name="yscale">1</property>
   1248 		  <property name="top_padding">0</property>
   1249 		  <property name="bottom_padding">0</property>
   1250 		  <property name="left_padding">12</property>
   1251 		  <property name="right_padding">0</property>
   1252 
   1253 		  <child>
   1254 		    <widget class="GtkTreeView" id="selectView">
   1255 		      <property name="visible">True</property>
   1256 		      <property name="tooltip" translatable="yes">Select Management Object</property>
   1257 		      <property name="can_focus">True</property>
   1258 		      <property name="headers_visible">False</property>
   1259 		      <property name="rules_hint">False</property>
   1260 		      <property name="reorderable">False</property>
   1261 		      <property name="enable_search">True</property>
   1262 		      <property name="fixed_height_mode">False</property>
   1263 		      <property name="hover_selection">False</property>
   1264 		      <property name="hover_expand">False</property>
   1265 		    </widget>
   1266 		  </child>
   1267 		</widget>
   1268 	      </child>
   1269 
   1270 	      <child>
   1271 		<widget class="GtkLabel" id="label45">
   1272 		  <property name="visible">True</property>
   1273 		  <property name="label" translatable="yes">&lt;b&gt;Select:&lt;/b&gt;</property>
   1274 		  <property name="use_underline">False</property>
   1275 		  <property name="use_markup">True</property>
   1276 		  <property name="justify">GTK_JUSTIFY_LEFT</property>
   1277 		  <property name="wrap">False</property>
   1278 		  <property name="selectable">False</property>
   1279 		  <property name="xalign">0.5</property>
   1280 		  <property name="yalign">0.5</property>
   1281 		  <property name="xpad">0</property>
   1282 		  <property name="ypad">0</property>
   1283 		  <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
   1284 		  <property name="width_chars">-1</property>
   1285 		  <property name="single_line_mode">False</property>
   1286 		  <property name="angle">0</property>
   1287 		</widget>
   1288 		<packing>
   1289 		  <property name="type">label_item</property>
   1290 		</packing>
   1291 	      </child>
   1292 	    </widget>
   1293 	    <packing>
   1294 	      <property name="shrink">False</property>
   1295 	      <property name="resize">True</property>
   1296 	    </packing>
   1297 	  </child>
   1298 
   1299 	  <child>
   1300 	    <widget class="GtkNotebook" id="notebook">
   1301 	      <property name="visible">True</property>
   1302 	      <property name="show_tabs">False</property>
   1303 	      <property name="show_border">True</property>
   1304 	      <property name="tab_pos">GTK_POS_TOP</property>
   1305 	      <property name="scrollable">False</property>
   1306 	      <property name="enable_popup">False</property>
   1307 
   1308 	      <child>
   1309 		<widget class="GtkVBox" id="vbox1">
   1310 		  <property name="visible">True</property>
   1311 		  <property name="homogeneous">False</property>
   1312 		  <property name="spacing">0</property>
   1313 
   1314 		  <child>
   1315 		    <widget class="GtkTable" id="table6">
   1316 		      <property name="visible">True</property>
   1317 		      <property name="n_rows">4</property>
   1318 		      <property name="n_columns">2</property>
   1319 		      <property name="homogeneous">False</property>
   1320 		      <property name="row_spacing">5</property>
   1321 		      <property name="column_spacing">5</property>
   1322 
   1323 		      <child>
   1324 			<widget class="GtkLabel" id="label29">
   1325 			  <property name="visible">True</property>
   1326 			  <property name="label" translatable="yes">System Default Enforcing Mode</property>
   1327 			  <property name="use_underline">False</property>
   1328 			  <property name="use_markup">False</property>
   1329 			  <property name="justify">GTK_JUSTIFY_LEFT</property>
   1330 			  <property name="wrap">False</property>
   1331 			  <property name="selectable">False</property>
   1332 			  <property name="xalign">0.5</property>
   1333 			  <property name="yalign">0.5</property>
   1334 			  <property name="xpad">0</property>
   1335 			  <property name="ypad">0</property>
   1336 			  <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
   1337 			  <property name="width_chars">-1</property>
   1338 			  <property name="single_line_mode">False</property>
   1339 			  <property name="angle">0</property>
   1340 			</widget>
   1341 			<packing>
   1342 			  <property name="left_attach">0</property>
   1343 			  <property name="right_attach">1</property>
   1344 			  <property name="top_attach">0</property>
   1345 			  <property name="bottom_attach">1</property>
   1346 			  <property name="x_options">fill</property>
   1347 			  <property name="y_options"></property>
   1348 			</packing>
   1349 		      </child>
   1350 
   1351 		      <child>
   1352 			<widget class="GtkComboBox" id="enabledOptionMenu">
   1353 			  <property name="visible">True</property>
   1354 			  <property name="items" translatable="yes">Disabled
   1355 Permissive
   1356 Enforcing
   1357 </property>
   1358 			  <property name="add_tearoffs">False</property>
   1359 			  <property name="focus_on_click">True</property>
   1360 			</widget>
   1361 			<packing>
   1362 			  <property name="left_attach">1</property>
   1363 			  <property name="right_attach">2</property>
   1364 			  <property name="top_attach">0</property>
   1365 			  <property name="bottom_attach">1</property>
   1366 			  <property name="y_options">fill</property>
   1367 			</packing>
   1368 		      </child>
   1369 
   1370 		      <child>
   1371 			<widget class="GtkLabel" id="label48">
   1372 			  <property name="visible">True</property>
   1373 			  <property name="label" translatable="yes">Current Enforcing Mode</property>
   1374 			  <property name="use_underline">False</property>
   1375 			  <property name="use_markup">False</property>
   1376 			  <property name="justify">GTK_JUSTIFY_LEFT</property>
   1377 			  <property name="wrap">False</property>
   1378 			  <property name="selectable">False</property>
   1379 			  <property name="xalign">0.5</property>
   1380 			  <property name="yalign">0.5</property>
   1381 			  <property name="xpad">0</property>
   1382 			  <property name="ypad">0</property>
   1383 			  <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
   1384 			  <property name="width_chars">-1</property>
   1385 			  <property name="single_line_mode">False</property>
   1386 			  <property name="angle">0</property>
   1387 			</widget>
   1388 			<packing>
   1389 			  <property name="left_attach">0</property>
   1390 			  <property name="right_attach">1</property>
   1391 			  <property name="top_attach">1</property>
   1392 			  <property name="bottom_attach">2</property>
   1393 			  <property name="x_options">fill</property>
   1394 			  <property name="y_options"></property>
   1395 			</packing>
   1396 		      </child>
   1397 
   1398 		      <child>
   1399 			<widget class="GtkComboBox" id="currentOptionMenu">
   1400 			  <property name="visible">True</property>
   1401 			  <property name="items" translatable="yes"></property>
   1402 			  <property name="add_tearoffs">False</property>
   1403 			  <property name="focus_on_click">True</property>
   1404 			</widget>
   1405 			<packing>
   1406 			  <property name="left_attach">1</property>
   1407 			  <property name="right_attach">2</property>
   1408 			  <property name="top_attach">1</property>
   1409 			  <property name="bottom_attach">2</property>
   1410 			  <property name="x_options">fill</property>
   1411 			  <property name="y_options">fill</property>
   1412 			</packing>
   1413 		      </child>
   1414 
   1415 		      <child>
   1416 			<widget class="GtkLabel" id="typeLabel">
   1417 			  <property name="visible">True</property>
   1418 			  <property name="label" translatable="yes">System Default Policy Type: </property>
   1419 			  <property name="use_underline">False</property>
   1420 			  <property name="use_markup">False</property>
   1421 			  <property name="justify">GTK_JUSTIFY_LEFT</property>
   1422 			  <property name="wrap">False</property>
   1423 			  <property name="selectable">False</property>
   1424 			  <property name="xalign">0.5</property>
   1425 			  <property name="yalign">0.5</property>
   1426 			  <property name="xpad">0</property>
   1427 			  <property name="ypad">0</property>
   1428 			  <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
   1429 			  <property name="width_chars">-1</property>
   1430 			  <property name="single_line_mode">False</property>
   1431 			  <property name="angle">0</property>
   1432 			</widget>
   1433 			<packing>
   1434 			  <property name="left_attach">0</property>
   1435 			  <property name="right_attach">1</property>
   1436 			  <property name="top_attach">2</property>
   1437 			  <property name="bottom_attach">3</property>
   1438 			  <property name="x_options">fill</property>
   1439 			  <property name="y_options"></property>
   1440 			</packing>
   1441 		      </child>
   1442 
   1443 		      <child>
   1444 			<widget class="GtkComboBox" id="selinuxTypeOptionMenu">
   1445 			  <property name="visible">True</property>
   1446 			  <property name="items" translatable="yes"></property>
   1447 			  <property name="add_tearoffs">False</property>
   1448 			  <property name="focus_on_click">True</property>
   1449 			</widget>
   1450 			<packing>
   1451 			  <property name="left_attach">1</property>
   1452 			  <property name="right_attach">2</property>
   1453 			  <property name="top_attach">2</property>
   1454 			  <property name="bottom_attach">3</property>
   1455 			  <property name="x_options">fill</property>
   1456 			  <property name="y_options">fill</property>
   1457 			</packing>
   1458 		      </child>
   1459 
   1460 		      <child>
   1461 			<widget class="GtkCheckButton" id="relabelCheckbutton">
   1462 			  <property name="visible">True</property>
   1463 			  <property name="tooltip" translatable="yes">Select if you wish to relabel then entire file system on next reboot.  Relabeling can take a very long time, depending on the size of the system.  If you are changing policy types or going from disabled to enforcing, a relabel is required.</property>
   1464 			  <property name="can_focus">True</property>
   1465 			  <property name="relief">GTK_RELIEF_NORMAL</property>
   1466 			  <property name="focus_on_click">True</property>
   1467 			  <property name="active">False</property>
   1468 			  <property name="inconsistent">False</property>
   1469 			  <property name="draw_indicator">True</property>
   1470 
   1471 			  <child>
   1472 			    <widget class="GtkAlignment" id="alignment4">
   1473 			      <property name="visible">True</property>
   1474 			      <property name="xalign">0.5</property>
   1475 			      <property name="yalign">0.5</property>
   1476 			      <property name="xscale">0</property>
   1477 			      <property name="yscale">0</property>
   1478 			      <property name="top_padding">0</property>
   1479 			      <property name="bottom_padding">0</property>
   1480 			      <property name="left_padding">0</property>
   1481 			      <property name="right_padding">0</property>
   1482 
   1483 			      <child>
   1484 				<widget class="GtkHBox" id="hbox6">
   1485 				  <property name="visible">True</property>
   1486 				  <property name="homogeneous">False</property>
   1487 				  <property name="spacing">2</property>
   1488 
   1489 				  <child>
   1490 				    <widget class="GtkImage" id="image2">
   1491 				      <property name="visible">True</property>
   1492 				      <property name="stock">gtk-refresh</property>
   1493 				      <property name="icon_size">4</property>
   1494 				      <property name="xalign">0.5</property>
   1495 				      <property name="yalign">0.5</property>
   1496 				      <property name="xpad">0</property>
   1497 				      <property name="ypad">0</property>
   1498 				    </widget>
   1499 				    <packing>
   1500 				      <property name="padding">0</property>
   1501 				      <property name="expand">False</property>
   1502 				      <property name="fill">False</property>
   1503 				    </packing>
   1504 				  </child>
   1505 
   1506 				  <child>
   1507 				    <widget class="GtkLabel" id="label49">
   1508 				      <property name="visible">True</property>
   1509 				      <property name="label" translatable="yes">Relabel on next reboot.</property>
   1510 				      <property name="use_underline">True</property>
   1511 				      <property name="use_markup">False</property>
   1512 				      <property name="justify">GTK_JUSTIFY_LEFT</property>
   1513 				      <property name="wrap">False</property>
   1514 				      <property name="selectable">False</property>
   1515 				      <property name="xalign">0.5</property>
   1516 				      <property name="yalign">0.5</property>
   1517 				      <property name="xpad">0</property>
   1518 				      <property name="ypad">0</property>
   1519 				      <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
   1520 				      <property name="width_chars">-1</property>
   1521 				      <property name="single_line_mode">False</property>
   1522 				      <property name="angle">0</property>
   1523 				    </widget>
   1524 				    <packing>
   1525 				      <property name="padding">0</property>
   1526 				      <property name="expand">False</property>
   1527 				      <property name="fill">False</property>
   1528 				    </packing>
   1529 				  </child>
   1530 				</widget>
   1531 			      </child>
   1532 			    </widget>
   1533 			  </child>
   1534 			</widget>
   1535 			<packing>
   1536 			  <property name="left_attach">0</property>
   1537 			  <property name="right_attach">2</property>
   1538 			  <property name="top_attach">3</property>
   1539 			  <property name="bottom_attach">4</property>
   1540 			  <property name="x_options">fill</property>
   1541 			  <property name="y_options">fill</property>
   1542 			</packing>
   1543 		      </child>
   1544 		    </widget>
   1545 		    <packing>
   1546 		      <property name="padding">0</property>
   1547 		      <property name="expand">True</property>
   1548 		      <property name="fill">True</property>
   1549 		    </packing>
   1550 		  </child>
   1551 		</widget>
   1552 		<packing>
   1553 		  <property name="tab_expand">False</property>
   1554 		  <property name="tab_fill">True</property>
   1555 		</packing>
   1556 	      </child>
   1557 
   1558 	      <child>
   1559 		<widget class="GtkLabel" id="label37">
   1560 		  <property name="visible">True</property>
   1561 		  <property name="label" translatable="yes">label37</property>
   1562 		  <property name="use_underline">False</property>
   1563 		  <property name="use_markup">False</property>
   1564 		  <property name="justify">GTK_JUSTIFY_LEFT</property>
   1565 		  <property name="wrap">False</property>
   1566 		  <property name="selectable">False</property>
   1567 		  <property name="xalign">0.5</property>
   1568 		  <property name="yalign">0.5</property>
   1569 		  <property name="xpad">0</property>
   1570 		  <property name="ypad">0</property>
   1571 		  <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
   1572 		  <property name="width_chars">-1</property>
   1573 		  <property name="single_line_mode">False</property>
   1574 		  <property name="angle">0</property>
   1575 		</widget>
   1576 		<packing>
   1577 		  <property name="type">tab</property>
   1578 		</packing>
   1579 	      </child>
   1580 
   1581 	      <child>
   1582 		<widget class="GtkVBox" id="vbox18">
   1583 		  <property name="visible">True</property>
   1584 		  <property name="homogeneous">False</property>
   1585 		  <property name="spacing">0</property>
   1586 
   1587 		  <child>
   1588 		    <widget class="GtkToolbar" id="toolbar9">
   1589 		      <property name="visible">True</property>
   1590 		      <property name="orientation">GTK_ORIENTATION_HORIZONTAL</property>
   1591 		      <property name="toolbar_style">GTK_TOOLBAR_BOTH</property>
   1592 		      <property name="tooltips">True</property>
   1593 		      <property name="show_arrow">True</property>
   1594 
   1595 		      <child>
   1596 			<widget class="GtkToolButton" id="booleanRevertButton">
   1597 			  <property name="visible">True</property>
   1598 			  <property name="tooltip" translatable="yes">Revert boolean setting to system default</property>
   1599 			  <property name="stock_id">gtk-revert-to-saved</property>
   1600 			  <property name="visible_horizontal">True</property>
   1601 			  <property name="visible_vertical">True</property>
   1602 			  <property name="is_important">False</property>
   1603 			  <signal name="clicked" handler="on_delete_clicked" last_modification_time="Mon, 16 Jan 2006 18:26:29 GMT"/>
   1604 			</widget>
   1605 			<packing>
   1606 			  <property name="expand">False</property>
   1607 			  <property name="homogeneous">True</property>
   1608 			</packing>
   1609 		      </child>
   1610 
   1611 		      <child>
   1612 			<widget class="GtkToolButton" id="toolbutton34">
   1613 			  <property name="visible">True</property>
   1614 			  <property name="tooltip" translatable="yes">Toggle between Customized and All Booleans</property>
   1615 			  <property name="label" translatable="yes">Customized</property>
   1616 			  <property name="use_underline">True</property>
   1617 			  <property name="stock_id">gtk-find</property>
   1618 			  <property name="visible_horizontal">True</property>
   1619 			  <property name="visible_vertical">True</property>
   1620 			  <property name="is_important">False</property>
   1621 			  <signal name="clicked" handler="on_local_clicked" last_modification_time="Wed, 19 Sep 2007 19:14:08 GMT"/>
   1622 			</widget>
   1623 			<packing>
   1624 			  <property name="expand">False</property>
   1625 			  <property name="homogeneous">True</property>
   1626 			</packing>
   1627 		      </child>
   1628 		    </widget>
   1629 		    <packing>
   1630 		      <property name="padding">0</property>
   1631 		      <property name="expand">False</property>
   1632 		      <property name="fill">False</property>
   1633 		    </packing>
   1634 		  </child>
   1635 
   1636 		  <child>
   1637 		    <widget class="GtkHBox" id="hbox7">
   1638 		      <property name="visible">True</property>
   1639 		      <property name="homogeneous">False</property>
   1640 		      <property name="spacing">0</property>
   1641 
   1642 		      <child>
   1643 			<widget class="GtkLabel" id="label51">
   1644 			  <property name="visible">True</property>
   1645 			  <property name="label" translatable="yes">Filter</property>
   1646 			  <property name="use_underline">False</property>
   1647 			  <property name="use_markup">False</property>
   1648 			  <property name="justify">GTK_JUSTIFY_LEFT</property>
   1649 			  <property name="wrap">False</property>
   1650 			  <property name="selectable">False</property>
   1651 			  <property name="xalign">0.5</property>
   1652 			  <property name="yalign">0.5</property>
   1653 			  <property name="xpad">0</property>
   1654 			  <property name="ypad">0</property>
   1655 			  <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
   1656 			  <property name="width_chars">-1</property>
   1657 			  <property name="single_line_mode">False</property>
   1658 			  <property name="angle">0</property>
   1659 			</widget>
   1660 			<packing>
   1661 			  <property name="padding">10</property>
   1662 			  <property name="expand">False</property>
   1663 			  <property name="fill">False</property>
   1664 			</packing>
   1665 		      </child>
   1666 
   1667 		      <child>
   1668 			<widget class="GtkEntry" id="booleansFilter">
   1669 			  <property name="visible">True</property>
   1670 			  <property name="can_focus">True</property>
   1671 			  <property name="editable">True</property>
   1672 			  <property name="visibility">True</property>
   1673 			  <property name="max_length">0</property>
   1674 			  <property name="text" translatable="yes"></property>
   1675 			  <property name="has_frame">True</property>
   1676 			  <property name="invisible_char"></property>
   1677 			  <property name="activates_default">False</property>
   1678 			  <signal name="changed" handler="on_booleansFilter_changed" last_modification_time="Fri, 06 Apr 2007 12:39:26 GMT"/>
   1679 			</widget>
   1680 			<packing>
   1681 			  <property name="padding">0</property>
   1682 			  <property name="expand">True</property>
   1683 			  <property name="fill">True</property>
   1684 			</packing>
   1685 		      </child>
   1686 		    </widget>
   1687 		    <packing>
   1688 		      <property name="padding">10</property>
   1689 		      <property name="expand">False</property>
   1690 		      <property name="fill">True</property>
   1691 		    </packing>
   1692 		  </child>
   1693 
   1694 		  <child>
   1695 		    <widget class="GtkScrolledWindow" id="scrolledwindow18">
   1696 		      <property name="visible">True</property>
   1697 		      <property name="can_focus">True</property>
   1698 		      <property name="hscrollbar_policy">GTK_POLICY_ALWAYS</property>
   1699 		      <property name="vscrollbar_policy">GTK_POLICY_ALWAYS</property>
   1700 		      <property name="shadow_type">GTK_SHADOW_NONE</property>
   1701 		      <property name="window_placement">GTK_CORNER_TOP_LEFT</property>
   1702 
   1703 		      <child>
   1704 			<widget class="GtkTreeView" id="booleansView">
   1705 			  <property name="visible">True</property>
   1706 			  <property name="tooltip" translatable="yes">Boolean</property>
   1707 			  <property name="can_focus">True</property>
   1708 			  <property name="headers_visible">True</property>
   1709 			  <property name="rules_hint">False</property>
   1710 			  <property name="reorderable">False</property>
   1711 			  <property name="enable_search">True</property>
   1712 			  <property name="fixed_height_mode">False</property>
   1713 			  <property name="hover_selection">False</property>
   1714 			  <property name="hover_expand">False</property>
   1715 			</widget>
   1716 		      </child>
   1717 		    </widget>
   1718 		    <packing>
   1719 		      <property name="padding">0</property>
   1720 		      <property name="expand">True</property>
   1721 		      <property name="fill">True</property>
   1722 		    </packing>
   1723 		  </child>
   1724 		</widget>
   1725 		<packing>
   1726 		  <property name="tab_expand">False</property>
   1727 		  <property name="tab_fill">True</property>
   1728 		</packing>
   1729 	      </child>
   1730 
   1731 	      <child>
   1732 		<widget class="GtkLabel" id="label50">
   1733 		  <property name="visible">True</property>
   1734 		  <property name="label" translatable="yes">label50</property>
   1735 		  <property name="use_underline">False</property>
   1736 		  <property name="use_markup">False</property>
   1737 		  <property name="justify">GTK_JUSTIFY_LEFT</property>
   1738 		  <property name="wrap">False</property>
   1739 		  <property name="selectable">False</property>
   1740 		  <property name="xalign">0.5</property>
   1741 		  <property name="yalign">0.5</property>
   1742 		  <property name="xpad">0</property>
   1743 		  <property name="ypad">0</property>
   1744 		  <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
   1745 		  <property name="width_chars">-1</property>
   1746 		  <property name="single_line_mode">False</property>
   1747 		  <property name="angle">0</property>
   1748 		</widget>
   1749 		<packing>
   1750 		  <property name="type">tab</property>
   1751 		</packing>
   1752 	      </child>
   1753 
   1754 	      <child>
   1755 		<widget class="GtkVBox" id="vbox11">
   1756 		  <property name="visible">True</property>
   1757 		  <property name="homogeneous">False</property>
   1758 		  <property name="spacing">0</property>
   1759 
   1760 		  <child>
   1761 		    <widget class="GtkToolbar" id="toolbar2">
   1762 		      <property name="visible">True</property>
   1763 		      <property name="orientation">GTK_ORIENTATION_HORIZONTAL</property>
   1764 		      <property name="toolbar_style">GTK_TOOLBAR_BOTH</property>
   1765 		      <property name="tooltips">True</property>
   1766 		      <property name="show_arrow">True</property>
   1767 
   1768 		      <child>
   1769 			<widget class="GtkToolButton" id="toolbutton5">
   1770 			  <property name="visible">True</property>
   1771 			  <property name="tooltip" translatable="yes">Add File Context</property>
   1772 			  <property name="stock_id">gtk-add</property>
   1773 			  <property name="visible_horizontal">True</property>
   1774 			  <property name="visible_vertical">True</property>
   1775 			  <property name="is_important">False</property>
   1776 			  <signal name="clicked" handler="on_add_clicked" last_modification_time="Mon, 16 Jan 2006 18:27:03 GMT"/>
   1777 			</widget>
   1778 			<packing>
   1779 			  <property name="expand">False</property>
   1780 			  <property name="homogeneous">True</property>
   1781 			</packing>
   1782 		      </child>
   1783 
   1784 		      <child>
   1785 			<widget class="GtkToolButton" id="toolbutton6">
   1786 			  <property name="visible">True</property>
   1787 			  <property name="tooltip" translatable="yes">Modify File Context</property>
   1788 			  <property name="stock_id">gtk-properties</property>
   1789 			  <property name="visible_horizontal">True</property>
   1790 			  <property name="visible_vertical">True</property>
   1791 			  <property name="is_important">False</property>
   1792 			  <signal name="clicked" handler="on_properties_clicked" last_modification_time="Mon, 16 Jan 2006 18:26:51 GMT"/>
   1793 			</widget>
   1794 			<packing>
   1795 			  <property name="expand">False</property>
   1796 			  <property name="homogeneous">True</property>
   1797 			</packing>
   1798 		      </child>
   1799 
   1800 		      <child>
   1801 			<widget class="GtkToolButton" id="toolbutton7">
   1802 			  <property name="visible">True</property>
   1803 			  <property name="tooltip" translatable="yes">Delete File Context</property>
   1804 			  <property name="stock_id">gtk-delete</property>
   1805 			  <property name="visible_horizontal">True</property>
   1806 			  <property name="visible_vertical">True</property>
   1807 			  <property name="is_important">False</property>
   1808 			  <signal name="clicked" handler="on_delete_clicked" last_modification_time="Mon, 16 Jan 2006 18:26:29 GMT"/>
   1809 			</widget>
   1810 			<packing>
   1811 			  <property name="expand">False</property>
   1812 			  <property name="homogeneous">True</property>
   1813 			</packing>
   1814 		      </child>
   1815 
   1816 		      <child>
   1817 			<widget class="GtkToolButton" id="customizedButton">
   1818 			  <property name="visible">True</property>
   1819 			  <property name="tooltip" translatable="yes">Toggle between all and customized file context</property>
   1820 			  <property name="label" translatable="yes">Customized</property>
   1821 			  <property name="use_underline">True</property>
   1822 			  <property name="stock_id">gtk-find</property>
   1823 			  <property name="visible_horizontal">True</property>
   1824 			  <property name="visible_vertical">True</property>
   1825 			  <property name="is_important">False</property>
   1826 			  <signal name="clicked" handler="on_local_clicked" last_modification_time="Wed, 19 Sep 2007 19:14:08 GMT"/>
   1827 			</widget>
   1828 			<packing>
   1829 			  <property name="expand">False</property>
   1830 			  <property name="homogeneous">True</property>
   1831 			</packing>
   1832 		      </child>
   1833 		    </widget>
   1834 		    <packing>
   1835 		      <property name="padding">0</property>
   1836 		      <property name="expand">False</property>
   1837 		      <property name="fill">False</property>
   1838 		    </packing>
   1839 		  </child>
   1840 
   1841 		  <child>
   1842 		    <widget class="GtkHBox" id="hbox14">
   1843 		      <property name="visible">True</property>
   1844 		      <property name="homogeneous">False</property>
   1845 		      <property name="spacing">0</property>
   1846 
   1847 		      <child>
   1848 			<widget class="GtkLabel" id="label58">
   1849 			  <property name="visible">True</property>
   1850 			  <property name="label" translatable="yes">Filter</property>
   1851 			  <property name="use_underline">False</property>
   1852 			  <property name="use_markup">False</property>
   1853 			  <property name="justify">GTK_JUSTIFY_LEFT</property>
   1854 			  <property name="wrap">False</property>
   1855 			  <property name="selectable">False</property>
   1856 			  <property name="xalign">0.5</property>
   1857 			  <property name="yalign">0.5</property>
   1858 			  <property name="xpad">0</property>
   1859 			  <property name="ypad">0</property>
   1860 			  <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
   1861 			  <property name="width_chars">-1</property>
   1862 			  <property name="single_line_mode">False</property>
   1863 			  <property name="angle">0</property>
   1864 			</widget>
   1865 			<packing>
   1866 			  <property name="padding">10</property>
   1867 			  <property name="expand">False</property>
   1868 			  <property name="fill">False</property>
   1869 			</packing>
   1870 		      </child>
   1871 
   1872 		      <child>
   1873 			<widget class="GtkEntry" id="fcontextFilterEntry">
   1874 			  <property name="visible">True</property>
   1875 			  <property name="can_focus">True</property>
   1876 			  <property name="editable">True</property>
   1877 			  <property name="visibility">True</property>
   1878 			  <property name="max_length">0</property>
   1879 			  <property name="text" translatable="yes"></property>
   1880 			  <property name="has_frame">True</property>
   1881 			  <property name="invisible_char"></property>
   1882 			  <property name="activates_default">False</property>
   1883 			  <signal name="changed" handler="on_fcontextFilter_changed" last_modification_time="Mon, 05 Nov 2007 21:22:11 GMT"/>
   1884 			</widget>
   1885 			<packing>
   1886 			  <property name="padding">0</property>
   1887 			  <property name="expand">True</property>
   1888 			  <property name="fill">True</property>
   1889 			</packing>
   1890 		      </child>
   1891 		    </widget>
   1892 		    <packing>
   1893 		      <property name="padding">0</property>
   1894 		      <property name="expand">False</property>
   1895 		      <property name="fill">False</property>
   1896 		    </packing>
   1897 		  </child>
   1898 
   1899 		  <child>
   1900 		    <widget class="GtkScrolledWindow" id="scrolledwindow19">
   1901 		      <property name="visible">True</property>
   1902 		      <property name="can_focus">True</property>
   1903 		      <property name="hscrollbar_policy">GTK_POLICY_ALWAYS</property>
   1904 		      <property name="vscrollbar_policy">GTK_POLICY_ALWAYS</property>
   1905 		      <property name="shadow_type">GTK_SHADOW_NONE</property>
   1906 		      <property name="window_placement">GTK_CORNER_TOP_LEFT</property>
   1907 
   1908 		      <child>
   1909 			<widget class="GtkTreeView" id="fcontextView">
   1910 			  <property name="visible">True</property>
   1911 			  <property name="tooltip" translatable="yes">File Labeling</property>
   1912 			  <property name="can_focus">True</property>
   1913 			  <property name="headers_visible">True</property>
   1914 			  <property name="rules_hint">False</property>
   1915 			  <property name="reorderable">False</property>
   1916 			  <property name="enable_search">True</property>
   1917 			  <property name="fixed_height_mode">False</property>
   1918 			  <property name="hover_selection">False</property>
   1919 			  <property name="hover_expand">False</property>
   1920 			</widget>
   1921 		      </child>
   1922 		    </widget>
   1923 		    <packing>
   1924 		      <property name="padding">0</property>
   1925 		      <property name="expand">True</property>
   1926 		      <property name="fill">True</property>
   1927 		    </packing>
   1928 		  </child>
   1929 		</widget>
   1930 		<packing>
   1931 		  <property name="tab_expand">False</property>
   1932 		  <property name="tab_fill">True</property>
   1933 		</packing>
   1934 	      </child>
   1935 
   1936 	      <child>
   1937 		<widget class="GtkLabel" id="label38">
   1938 		  <property name="visible">True</property>
   1939 		  <property name="label" translatable="yes">label38</property>
   1940 		  <property name="use_underline">False</property>
   1941 		  <property name="use_markup">False</property>
   1942 		  <property name="justify">GTK_JUSTIFY_LEFT</property>
   1943 		  <property name="wrap">False</property>
   1944 		  <property name="selectable">False</property>
   1945 		  <property name="xalign">0.5</property>
   1946 		  <property name="yalign">0.5</property>
   1947 		  <property name="xpad">0</property>
   1948 		  <property name="ypad">0</property>
   1949 		  <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
   1950 		  <property name="width_chars">-1</property>
   1951 		  <property name="single_line_mode">False</property>
   1952 		  <property name="angle">0</property>
   1953 		</widget>
   1954 		<packing>
   1955 		  <property name="type">tab</property>
   1956 		</packing>
   1957 	      </child>
   1958 
   1959 	      <child>
   1960 		<widget class="GtkVBox" id="vbox12">
   1961 		  <property name="visible">True</property>
   1962 		  <property name="homogeneous">False</property>
   1963 		  <property name="spacing">0</property>
   1964 
   1965 		  <child>
   1966 		    <widget class="GtkToolbar" id="toolbar3">
   1967 		      <property name="visible">True</property>
   1968 		      <property name="orientation">GTK_ORIENTATION_HORIZONTAL</property>
   1969 		      <property name="toolbar_style">GTK_TOOLBAR_BOTH</property>
   1970 		      <property name="tooltips">True</property>
   1971 		      <property name="show_arrow">True</property>
   1972 
   1973 		      <child>
   1974 			<widget class="GtkToolButton" id="toolbutton8">
   1975 			  <property name="visible">True</property>
   1976 			  <property name="tooltip" translatable="yes">Add SELinux User Mapping</property>
   1977 			  <property name="stock_id">gtk-add</property>
   1978 			  <property name="visible_horizontal">True</property>
   1979 			  <property name="visible_vertical">True</property>
   1980 			  <property name="is_important">False</property>
   1981 			  <signal name="clicked" handler="on_add_clicked" last_modification_time="Mon, 16 Jan 2006 18:27:03 GMT"/>
   1982 			</widget>
   1983 			<packing>
   1984 			  <property name="expand">False</property>
   1985 			  <property name="homogeneous">True</property>
   1986 			</packing>
   1987 		      </child>
   1988 
   1989 		      <child>
   1990 			<widget class="GtkToolButton" id="toolbutton29">
   1991 			  <property name="visible">True</property>
   1992 			  <property name="tooltip" translatable="yes">Modify SELinux User Mapping</property>
   1993 			  <property name="stock_id">gtk-properties</property>
   1994 			  <property name="visible_horizontal">True</property>
   1995 			  <property name="visible_vertical">True</property>
   1996 			  <property name="is_important">False</property>
   1997 			  <signal name="clicked" handler="on_properties_clicked" last_modification_time="Wed, 15 Nov 2006 16:38:33 GMT"/>
   1998 			</widget>
   1999 			<packing>
   2000 			  <property name="expand">False</property>
   2001 			  <property name="homogeneous">True</property>
   2002 			</packing>
   2003 		      </child>
   2004 
   2005 		      <child>
   2006 			<widget class="GtkToolButton" id="toolbutton10">
   2007 			  <property name="visible">True</property>
   2008 			  <property name="tooltip" translatable="yes">Delete SELinux User Mapping</property>
   2009 			  <property name="stock_id">gtk-delete</property>
   2010 			  <property name="visible_horizontal">True</property>
   2011 			  <property name="visible_vertical">True</property>
   2012 			  <property name="is_important">False</property>
   2013 			  <signal name="clicked" handler="on_delete_clicked" last_modification_time="Mon, 16 Jan 2006 18:26:29 GMT"/>
   2014 			</widget>
   2015 			<packing>
   2016 			  <property name="expand">False</property>
   2017 			  <property name="homogeneous">True</property>
   2018 			</packing>
   2019 		      </child>
   2020 		    </widget>
   2021 		    <packing>
   2022 		      <property name="padding">0</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="hbox13">
   2030 		      <property name="visible">True</property>
   2031 		      <property name="homogeneous">False</property>
   2032 		      <property name="spacing">0</property>
   2033 
   2034 		      <child>
   2035 			<widget class="GtkLabel" id="label57">
   2036 			  <property name="visible">True</property>
   2037 			  <property name="label" translatable="yes">Filter</property>
   2038 			  <property name="use_underline">False</property>
   2039 			  <property name="use_markup">False</property>
   2040 			  <property name="justify">GTK_JUSTIFY_LEFT</property>
   2041 			  <property name="wrap">False</property>
   2042 			  <property name="selectable">False</property>
   2043 			  <property name="xalign">0.5</property>
   2044 			  <property name="yalign">0.5</property>
   2045 			  <property name="xpad">0</property>
   2046 			  <property name="ypad">0</property>
   2047 			  <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
   2048 			  <property name="width_chars">-1</property>
   2049 			  <property name="single_line_mode">False</property>
   2050 			  <property name="angle">0</property>
   2051 			</widget>
   2052 			<packing>
   2053 			  <property name="padding">10</property>
   2054 			  <property name="expand">False</property>
   2055 			  <property name="fill">False</property>
   2056 			</packing>
   2057 		      </child>
   2058 
   2059 		      <child>
   2060 			<widget class="GtkEntry" id="loginsFilterEntry">
   2061 			  <property name="visible">True</property>
   2062 			  <property name="can_focus">True</property>
   2063 			  <property name="editable">True</property>
   2064 			  <property name="visibility">True</property>
   2065 			  <property name="max_length">0</property>
   2066 			  <property name="text" translatable="yes"></property>
   2067 			  <property name="has_frame">True</property>
   2068 			  <property name="invisible_char"></property>
   2069 			  <property name="activates_default">False</property>
   2070 			  <signal name="changed" handler="on_booleansFilter_changed" last_modification_time="Fri, 06 Apr 2007 12:39:26 GMT"/>
   2071 			</widget>
   2072 			<packing>
   2073 			  <property name="padding">0</property>
   2074 			  <property name="expand">True</property>
   2075 			  <property name="fill">True</property>
   2076 			</packing>
   2077 		      </child>
   2078 		    </widget>
   2079 		    <packing>
   2080 		      <property name="padding">5</property>
   2081 		      <property name="expand">False</property>
   2082 		      <property name="fill">True</property>
   2083 		    </packing>
   2084 		  </child>
   2085 
   2086 		  <child>
   2087 		    <widget class="GtkScrolledWindow" id="scrolledwindow16">
   2088 		      <property name="visible">True</property>
   2089 		      <property name="can_focus">True</property>
   2090 		      <property name="hscrollbar_policy">GTK_POLICY_ALWAYS</property>
   2091 		      <property name="vscrollbar_policy">GTK_POLICY_ALWAYS</property>
   2092 		      <property name="shadow_type">GTK_SHADOW_NONE</property>
   2093 		      <property name="window_placement">GTK_CORNER_TOP_LEFT</property>
   2094 
   2095 		      <child>
   2096 			<widget class="GtkTreeView" id="loginsView">
   2097 			  <property name="visible">True</property>
   2098 			  <property name="tooltip" translatable="yes">User Mapping</property>
   2099 			  <property name="can_focus">True</property>
   2100 			  <property name="headers_visible">True</property>
   2101 			  <property name="rules_hint">False</property>
   2102 			  <property name="reorderable">False</property>
   2103 			  <property name="enable_search">True</property>
   2104 			  <property name="fixed_height_mode">False</property>
   2105 			  <property name="hover_selection">False</property>
   2106 			  <property name="hover_expand">False</property>
   2107 			</widget>
   2108 		      </child>
   2109 		    </widget>
   2110 		    <packing>
   2111 		      <property name="padding">0</property>
   2112 		      <property name="expand">True</property>
   2113 		      <property name="fill">True</property>
   2114 		    </packing>
   2115 		  </child>
   2116 		</widget>
   2117 		<packing>
   2118 		  <property name="tab_expand">False</property>
   2119 		  <property name="tab_fill">True</property>
   2120 		</packing>
   2121 	      </child>
   2122 
   2123 	      <child>
   2124 		<widget class="GtkLabel" id="label39">
   2125 		  <property name="visible">True</property>
   2126 		  <property name="label" translatable="yes">label39</property>
   2127 		  <property name="use_underline">False</property>
   2128 		  <property name="use_markup">False</property>
   2129 		  <property name="justify">GTK_JUSTIFY_LEFT</property>
   2130 		  <property name="wrap">False</property>
   2131 		  <property name="selectable">False</property>
   2132 		  <property name="xalign">0.5</property>
   2133 		  <property name="yalign">0.5</property>
   2134 		  <property name="xpad">0</property>
   2135 		  <property name="ypad">0</property>
   2136 		  <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
   2137 		  <property name="width_chars">-1</property>
   2138 		  <property name="single_line_mode">False</property>
   2139 		  <property name="angle">0</property>
   2140 		</widget>
   2141 		<packing>
   2142 		  <property name="type">tab</property>
   2143 		</packing>
   2144 	      </child>
   2145 
   2146 	      <child>
   2147 		<widget class="GtkVBox" id="vbox14">
   2148 		  <property name="visible">True</property>
   2149 		  <property name="homogeneous">False</property>
   2150 		  <property name="spacing">0</property>
   2151 
   2152 		  <child>
   2153 		    <widget class="GtkToolbar" id="toolbar5">
   2154 		      <property name="visible">True</property>
   2155 		      <property name="orientation">GTK_ORIENTATION_HORIZONTAL</property>
   2156 		      <property name="toolbar_style">GTK_TOOLBAR_BOTH</property>
   2157 		      <property name="tooltips">True</property>
   2158 		      <property name="show_arrow">True</property>
   2159 
   2160 		      <child>
   2161 			<widget class="GtkToolButton" id="toolbutton14">
   2162 			  <property name="visible">True</property>
   2163 			  <property name="tooltip" translatable="yes">Add User</property>
   2164 			  <property name="stock_id">gtk-add</property>
   2165 			  <property name="visible_horizontal">True</property>
   2166 			  <property name="visible_vertical">True</property>
   2167 			  <property name="is_important">False</property>
   2168 			  <signal name="clicked" handler="on_add_clicked" last_modification_time="Mon, 16 Jan 2006 18:27:03 GMT"/>
   2169 			</widget>
   2170 			<packing>
   2171 			  <property name="expand">False</property>
   2172 			  <property name="homogeneous">True</property>
   2173 			</packing>
   2174 		      </child>
   2175 
   2176 		      <child>
   2177 			<widget class="GtkToolButton" id="toolbutton15">
   2178 			  <property name="visible">True</property>
   2179 			  <property name="tooltip" translatable="yes">Modify User</property>
   2180 			  <property name="stock_id">gtk-properties</property>
   2181 			  <property name="visible_horizontal">True</property>
   2182 			  <property name="visible_vertical">True</property>
   2183 			  <property name="is_important">False</property>
   2184 			  <signal name="clicked" handler="on_properties_clicked" last_modification_time="Mon, 16 Jan 2006 18:26:51 GMT"/>
   2185 			</widget>
   2186 			<packing>
   2187 			  <property name="expand">False</property>
   2188 			  <property name="homogeneous">True</property>
   2189 			</packing>
   2190 		      </child>
   2191 
   2192 		      <child>
   2193 			<widget class="GtkToolButton" id="toolbutton16">
   2194 			  <property name="visible">True</property>
   2195 			  <property name="tooltip" translatable="yes">Delete User</property>
   2196 			  <property name="stock_id">gtk-delete</property>
   2197 			  <property name="visible_horizontal">True</property>
   2198 			  <property name="visible_vertical">True</property>
   2199 			  <property name="is_important">False</property>
   2200 			  <signal name="clicked" handler="on_delete_clicked" last_modification_time="Mon, 16 Jan 2006 18:26:29 GMT"/>
   2201 			</widget>
   2202 			<packing>
   2203 			  <property name="expand">False</property>
   2204 			  <property name="homogeneous">True</property>
   2205 			</packing>
   2206 		      </child>
   2207 		    </widget>
   2208 		    <packing>
   2209 		      <property name="padding">0</property>
   2210 		      <property name="expand">False</property>
   2211 		      <property name="fill">False</property>
   2212 		    </packing>
   2213 		  </child>
   2214 
   2215 		  <child>
   2216 		    <widget class="GtkHBox" id="hbox12">
   2217 		      <property name="visible">True</property>
   2218 		      <property name="homogeneous">False</property>
   2219 		      <property name="spacing">0</property>
   2220 
   2221 		      <child>
   2222 			<widget class="GtkLabel" id="label56">
   2223 			  <property name="visible">True</property>
   2224 			  <property name="label" translatable="yes">Filter</property>
   2225 			  <property name="use_underline">False</property>
   2226 			  <property name="use_markup">False</property>
   2227 			  <property name="justify">GTK_JUSTIFY_LEFT</property>
   2228 			  <property name="wrap">False</property>
   2229 			  <property name="selectable">False</property>
   2230 			  <property name="xalign">0.5</property>
   2231 			  <property name="yalign">0.5</property>
   2232 			  <property name="xpad">0</property>
   2233 			  <property name="ypad">0</property>
   2234 			  <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
   2235 			  <property name="width_chars">-1</property>
   2236 			  <property name="single_line_mode">False</property>
   2237 			  <property name="angle">0</property>
   2238 			</widget>
   2239 			<packing>
   2240 			  <property name="padding">10</property>
   2241 			  <property name="expand">False</property>
   2242 			  <property name="fill">False</property>
   2243 			</packing>
   2244 		      </child>
   2245 
   2246 		      <child>
   2247 			<widget class="GtkEntry" id="usersFilterEntry">
   2248 			  <property name="visible">True</property>
   2249 			  <property name="can_focus">True</property>
   2250 			  <property name="editable">True</property>
   2251 			  <property name="visibility">True</property>
   2252 			  <property name="max_length">0</property>
   2253 			  <property name="text" translatable="yes"></property>
   2254 			  <property name="has_frame">True</property>
   2255 			  <property name="invisible_char"></property>
   2256 			  <property name="activates_default">False</property>
   2257 			  <signal name="changed" handler="on_booleansFilter_changed" last_modification_time="Fri, 06 Apr 2007 12:39:26 GMT"/>
   2258 			</widget>
   2259 			<packing>
   2260 			  <property name="padding">0</property>
   2261 			  <property name="expand">True</property>
   2262 			  <property name="fill">True</property>
   2263 			</packing>
   2264 		      </child>
   2265 		    </widget>
   2266 		    <packing>
   2267 		      <property name="padding">5</property>
   2268 		      <property name="expand">False</property>
   2269 		      <property name="fill">True</property>
   2270 		    </packing>
   2271 		  </child>
   2272 
   2273 		  <child>
   2274 		    <widget class="GtkScrolledWindow" id="scrolledwindow11">
   2275 		      <property name="visible">True</property>
   2276 		      <property name="can_focus">True</property>
   2277 		      <property name="hscrollbar_policy">GTK_POLICY_ALWAYS</property>
   2278 		      <property name="vscrollbar_policy">GTK_POLICY_ALWAYS</property>
   2279 		      <property name="shadow_type">GTK_SHADOW_NONE</property>
   2280 		      <property name="window_placement">GTK_CORNER_TOP_LEFT</property>
   2281 
   2282 		      <child>
   2283 			<widget class="GtkTreeView" id="usersView">
   2284 			  <property name="visible">True</property>
   2285 			  <property name="tooltip" translatable="yes">SELinux User</property>
   2286 			  <property name="can_focus">True</property>
   2287 			  <property name="headers_visible">True</property>
   2288 			  <property name="rules_hint">False</property>
   2289 			  <property name="reorderable">False</property>
   2290 			  <property name="enable_search">True</property>
   2291 			  <property name="fixed_height_mode">False</property>
   2292 			  <property name="hover_selection">False</property>
   2293 			  <property name="hover_expand">False</property>
   2294 			</widget>
   2295 		      </child>
   2296 		    </widget>
   2297 		    <packing>
   2298 		      <property name="padding">0</property>
   2299 		      <property name="expand">True</property>
   2300 		      <property name="fill">True</property>
   2301 		    </packing>
   2302 		  </child>
   2303 		</widget>
   2304 		<packing>
   2305 		  <property name="tab_expand">False</property>
   2306 		  <property name="tab_fill">True</property>
   2307 		</packing>
   2308 	      </child>
   2309 
   2310 	      <child>
   2311 		<widget class="GtkLabel" id="label41">
   2312 		  <property name="visible">True</property>
   2313 		  <property name="label" translatable="yes">label41</property>
   2314 		  <property name="use_underline">False</property>
   2315 		  <property name="use_markup">False</property>
   2316 		  <property name="justify">GTK_JUSTIFY_LEFT</property>
   2317 		  <property name="wrap">False</property>
   2318 		  <property name="selectable">False</property>
   2319 		  <property name="xalign">0.5</property>
   2320 		  <property name="yalign">0.5</property>
   2321 		  <property name="xpad">0</property>
   2322 		  <property name="ypad">0</property>
   2323 		  <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
   2324 		  <property name="width_chars">-1</property>
   2325 		  <property name="single_line_mode">False</property>
   2326 		  <property name="angle">0</property>
   2327 		</widget>
   2328 		<packing>
   2329 		  <property name="type">tab</property>
   2330 		</packing>
   2331 	      </child>
   2332 
   2333 	      <child>
   2334 		<widget class="GtkVBox" id="vbox15">
   2335 		  <property name="visible">True</property>
   2336 		  <property name="homogeneous">False</property>
   2337 		  <property name="spacing">0</property>
   2338 
   2339 		  <child>
   2340 		    <widget class="GtkToolbar" id="toolbar6">
   2341 		      <property name="visible">True</property>
   2342 		      <property name="orientation">GTK_ORIENTATION_HORIZONTAL</property>
   2343 		      <property name="toolbar_style">GTK_TOOLBAR_BOTH</property>
   2344 		      <property name="tooltips">False</property>
   2345 		      <property name="show_arrow">True</property>
   2346 
   2347 		      <child>
   2348 			<widget class="GtkToolButton" id="portsAddButton">
   2349 			  <property name="visible">True</property>
   2350 			  <property name="tooltip" translatable="yes">Add Network Port</property>
   2351 			  <property name="stock_id">gtk-add</property>
   2352 			  <property name="visible_horizontal">True</property>
   2353 			  <property name="visible_vertical">True</property>
   2354 			  <property name="is_important">False</property>
   2355 			  <signal name="clicked" handler="on_add_clicked" last_modification_time="Mon, 16 Jan 2006 18:27:03 GMT"/>
   2356 			</widget>
   2357 			<packing>
   2358 			  <property name="expand">False</property>
   2359 			  <property name="homogeneous">True</property>
   2360 			</packing>
   2361 		      </child>
   2362 
   2363 		      <child>
   2364 			<widget class="GtkToolButton" id="portsPropertiesButton">
   2365 			  <property name="visible">True</property>
   2366 			  <property name="tooltip" translatable="yes">Edit Network Port</property>
   2367 			  <property name="stock_id">gtk-properties</property>
   2368 			  <property name="visible_horizontal">True</property>
   2369 			  <property name="visible_vertical">True</property>
   2370 			  <property name="is_important">False</property>
   2371 			  <signal name="clicked" handler="on_properties_clicked" last_modification_time="Mon, 16 Jan 2006 18:26:51 GMT"/>
   2372 			</widget>
   2373 			<packing>
   2374 			  <property name="expand">False</property>
   2375 			  <property name="homogeneous">True</property>
   2376 			</packing>
   2377 		      </child>
   2378 
   2379 		      <child>
   2380 			<widget class="GtkToolButton" id="portsDeleteButton">
   2381 			  <property name="visible">True</property>
   2382 			  <property name="tooltip" translatable="yes">Delete Network Port</property>
   2383 			  <property name="stock_id">gtk-delete</property>
   2384 			  <property name="visible_horizontal">True</property>
   2385 			  <property name="visible_vertical">True</property>
   2386 			  <property name="is_important">False</property>
   2387 			  <signal name="clicked" handler="on_delete_clicked" last_modification_time="Mon, 16 Jan 2006 18:26:29 GMT"/>
   2388 			</widget>
   2389 			<packing>
   2390 			  <property name="expand">False</property>
   2391 			  <property name="homogeneous">True</property>
   2392 			</packing>
   2393 		      </child>
   2394 
   2395 		      <child>
   2396 			<widget class="GtkToolItem" id="toolitem2">
   2397 			  <property name="visible">True</property>
   2398 			  <property name="visible_horizontal">True</property>
   2399 			  <property name="visible_vertical">True</property>
   2400 			  <property name="is_important">False</property>
   2401 
   2402 			  <child>
   2403 			    <widget class="GtkVSeparator" id="vseparator1">
   2404 			      <property name="width_request">32</property>
   2405 			      <property name="visible">True</property>
   2406 			    </widget>
   2407 			  </child>
   2408 			</widget>
   2409 			<packing>
   2410 			  <property name="expand">False</property>
   2411 			  <property name="homogeneous">False</property>
   2412 			</packing>
   2413 		      </child>
   2414 
   2415 		      <child>
   2416 			<widget class="GtkToolButton" id="listViewButton">
   2417 			  <property name="visible">True</property>
   2418 			  <property name="tooltip" translatable="yes">Toggle between Customized and All Ports</property>
   2419 			  <property name="label" translatable="yes">Group View</property>
   2420 			  <property name="use_underline">True</property>
   2421 			  <property name="stock_id">gtk-indent</property>
   2422 			  <property name="visible_horizontal">True</property>
   2423 			  <property name="visible_vertical">True</property>
   2424 			  <property name="is_important">False</property>
   2425 			  <signal name="clicked" handler="on_group_clicked" last_modification_time="Mon, 01 Oct 2007 21:31:19 GMT"/>
   2426 			</widget>
   2427 			<packing>
   2428 			  <property name="expand">False</property>
   2429 			  <property name="homogeneous">True</property>
   2430 			</packing>
   2431 		      </child>
   2432 
   2433 		      <child>
   2434 			<widget class="GtkToolButton" id="toolbutton35">
   2435 			  <property name="visible">True</property>
   2436 			  <property name="tooltip" translatable="yes">Toggle between Customized and All Ports</property>
   2437 			  <property name="label" translatable="yes">Customized</property>
   2438 			  <property name="use_underline">True</property>
   2439 			  <property name="stock_id">gtk-find</property>
   2440 			  <property name="visible_horizontal">True</property>
   2441 			  <property name="visible_vertical">True</property>
   2442 			  <property name="is_important">False</property>
   2443 			  <signal name="clicked" handler="on_local_clicked" last_modification_time="Wed, 19 Sep 2007 19:14:08 GMT"/>
   2444 			</widget>
   2445 			<packing>
   2446 			  <property name="expand">False</property>
   2447 			  <property name="homogeneous">True</property>
   2448 			</packing>
   2449 		      </child>
   2450 		    </widget>
   2451 		    <packing>
   2452 		      <property name="padding">0</property>
   2453 		      <property name="expand">False</property>
   2454 		      <property name="fill">False</property>
   2455 		    </packing>
   2456 		  </child>
   2457 
   2458 		  <child>
   2459 		    <widget class="GtkHBox" id="hbox9">
   2460 		      <property name="visible">True</property>
   2461 		      <property name="homogeneous">False</property>
   2462 		      <property name="spacing">0</property>
   2463 
   2464 		      <child>
   2465 			<widget class="GtkLabel" id="label53">
   2466 			  <property name="visible">True</property>
   2467 			  <property name="label" translatable="yes">Filter</property>
   2468 			  <property name="use_underline">False</property>
   2469 			  <property name="use_markup">False</property>
   2470 			  <property name="justify">GTK_JUSTIFY_LEFT</property>
   2471 			  <property name="wrap">False</property>
   2472 			  <property name="selectable">False</property>
   2473 			  <property name="xalign">0.5</property>
   2474 			  <property name="yalign">0.5</property>
   2475 			  <property name="xpad">0</property>
   2476 			  <property name="ypad">0</property>
   2477 			  <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
   2478 			  <property name="width_chars">-1</property>
   2479 			  <property name="single_line_mode">False</property>
   2480 			  <property name="angle">0</property>
   2481 			</widget>
   2482 			<packing>
   2483 			  <property name="padding">10</property>
   2484 			  <property name="expand">False</property>
   2485 			  <property name="fill">False</property>
   2486 			</packing>
   2487 		      </child>
   2488 
   2489 		      <child>
   2490 			<widget class="GtkEntry" id="portsFilterEntry">
   2491 			  <property name="visible">True</property>
   2492 			  <property name="can_focus">True</property>
   2493 			  <property name="editable">True</property>
   2494 			  <property name="visibility">True</property>
   2495 			  <property name="max_length">0</property>
   2496 			  <property name="text" translatable="yes"></property>
   2497 			  <property name="has_frame">True</property>
   2498 			  <property name="invisible_char"></property>
   2499 			  <property name="activates_default">False</property>
   2500 			  <signal name="changed" handler="on_booleansFilter_changed" last_modification_time="Fri, 06 Apr 2007 12:39:26 GMT"/>
   2501 			</widget>
   2502 			<packing>
   2503 			  <property name="padding">0</property>
   2504 			  <property name="expand">True</property>
   2505 			  <property name="fill">True</property>
   2506 			</packing>
   2507 		      </child>
   2508 		    </widget>
   2509 		    <packing>
   2510 		      <property name="padding">5</property>
   2511 		      <property name="expand">False</property>
   2512 		      <property name="fill">True</property>
   2513 		    </packing>
   2514 		  </child>
   2515 
   2516 		  <child>
   2517 		    <widget class="GtkScrolledWindow" id="scrolledwindow13">
   2518 		      <property name="visible">True</property>
   2519 		      <property name="can_focus">True</property>
   2520 		      <property name="hscrollbar_policy">GTK_POLICY_ALWAYS</property>
   2521 		      <property name="vscrollbar_policy">GTK_POLICY_ALWAYS</property>
   2522 		      <property name="shadow_type">GTK_SHADOW_NONE</property>
   2523 		      <property name="window_placement">GTK_CORNER_TOP_LEFT</property>
   2524 
   2525 		      <child>
   2526 			<widget class="GtkTreeView" id="portsView">
   2527 			  <property name="visible">True</property>
   2528 			  <property name="tooltip" translatable="yes">Network Port</property>
   2529 			  <property name="can_focus">True</property>
   2530 			  <property name="headers_visible">True</property>
   2531 			  <property name="rules_hint">False</property>
   2532 			  <property name="reorderable">False</property>
   2533 			  <property name="enable_search">True</property>
   2534 			  <property name="fixed_height_mode">False</property>
   2535 			  <property name="hover_selection">False</property>
   2536 			  <property name="hover_expand">False</property>
   2537 			</widget>
   2538 		      </child>
   2539 		    </widget>
   2540 		    <packing>
   2541 		      <property name="padding">0</property>
   2542 		      <property name="expand">True</property>
   2543 		      <property name="fill">True</property>
   2544 		    </packing>
   2545 		  </child>
   2546 		</widget>
   2547 		<packing>
   2548 		  <property name="tab_expand">False</property>
   2549 		  <property name="tab_fill">True</property>
   2550 		</packing>
   2551 	      </child>
   2552 
   2553 	      <child>
   2554 		<widget class="GtkLabel" id="label42">
   2555 		  <property name="visible">True</property>
   2556 		  <property name="label" translatable="yes">label42</property>
   2557 		  <property name="use_underline">False</property>
   2558 		  <property name="use_markup">False</property>
   2559 		  <property name="justify">GTK_JUSTIFY_LEFT</property>
   2560 		  <property name="wrap">False</property>
   2561 		  <property name="selectable">False</property>
   2562 		  <property name="xalign">0.5</property>
   2563 		  <property name="yalign">0.5</property>
   2564 		  <property name="xpad">0</property>
   2565 		  <property name="ypad">0</property>
   2566 		  <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
   2567 		  <property name="width_chars">-1</property>
   2568 		  <property name="single_line_mode">False</property>
   2569 		  <property name="angle">0</property>
   2570 		</widget>
   2571 		<packing>
   2572 		  <property name="type">tab</property>
   2573 		</packing>
   2574 	      </child>
   2575 
   2576 	      <child>
   2577 		<widget class="GtkVBox" id="vbox17">
   2578 		  <property name="visible">True</property>
   2579 		  <property name="homogeneous">False</property>
   2580 		  <property name="spacing">0</property>
   2581 
   2582 		  <child>
   2583 		    <widget class="GtkToolbar" id="toolbar8">
   2584 		      <property name="visible">True</property>
   2585 		      <property name="orientation">GTK_ORIENTATION_HORIZONTAL</property>
   2586 		      <property name="toolbar_style">GTK_TOOLBAR_BOTH</property>
   2587 		      <property name="tooltips">True</property>
   2588 		      <property name="show_arrow">True</property>
   2589 
   2590 		      <child>
   2591 			<widget class="GtkToolButton" id="newModuleButton">
   2592 			  <property name="visible">True</property>
   2593 			  <property name="tooltip" translatable="yes">Generate new policy module</property>
   2594 			  <property name="stock_id">gtk-new</property>
   2595 			  <property name="visible_horizontal">True</property>
   2596 			  <property name="visible_vertical">True</property>
   2597 			  <property name="is_important">False</property>
   2598 			  <signal name="clicked" handler="on_new_clicked" last_modification_time="Sat, 17 Mar 2007 15:53:29 GMT"/>
   2599 			</widget>
   2600 			<packing>
   2601 			  <property name="expand">False</property>
   2602 			  <property name="homogeneous">True</property>
   2603 			</packing>
   2604 		      </child>
   2605 
   2606 		      <child>
   2607 			<widget class="GtkToolButton" id="toolbutton23">
   2608 			  <property name="visible">True</property>
   2609 			  <property name="tooltip" translatable="yes">Load policy module</property>
   2610 			  <property name="stock_id">gtk-add</property>
   2611 			  <property name="visible_horizontal">True</property>
   2612 			  <property name="visible_vertical">True</property>
   2613 			  <property name="is_important">False</property>
   2614 			  <signal name="clicked" handler="on_add_clicked" last_modification_time="Mon, 16 Jan 2006 18:27:03 GMT"/>
   2615 			</widget>
   2616 			<packing>
   2617 			  <property name="expand">False</property>
   2618 			  <property name="homogeneous">True</property>
   2619 			</packing>
   2620 		      </child>
   2621 
   2622 		      <child>
   2623 			<widget class="GtkToolButton" id="toolbutton25">
   2624 			  <property name="visible">True</property>
   2625 			  <property name="tooltip" translatable="yes">Remove loadable policy module</property>
   2626 			  <property name="stock_id">gtk-remove</property>
   2627 			  <property name="visible_horizontal">True</property>
   2628 			  <property name="visible_vertical">True</property>
   2629 			  <property name="is_important">False</property>
   2630 			  <signal name="clicked" handler="on_delete_clicked" last_modification_time="Mon, 16 Jan 2006 18:26:29 GMT"/>
   2631 			</widget>
   2632 			<packing>
   2633 			  <property name="expand">False</property>
   2634 			  <property name="homogeneous">True</property>
   2635 			</packing>
   2636 		      </child>
   2637 
   2638 		      <child>
   2639 			<widget class="GtkToolItem" id="toolitem3">
   2640 			  <property name="visible">True</property>
   2641 			  <property name="visible_horizontal">True</property>
   2642 			  <property name="visible_vertical">True</property>
   2643 			  <property name="is_important">False</property>
   2644 
   2645 			  <child>
   2646 			    <widget class="GtkVSeparator" id="vseparator2">
   2647 			      <property name="width_request">10</property>
   2648 			      <property name="visible">True</property>
   2649 			    </widget>
   2650 			  </child>
   2651 			</widget>
   2652 			<packing>
   2653 			  <property name="expand">False</property>
   2654 			  <property name="homogeneous">False</property>
   2655 			</packing>
   2656 		      </child>
   2657 
   2658 		      <child>
   2659 			<widget class="GtkToolButton" id="enableAuditButton">
   2660 			  <property name="visible">True</property>
   2661 			  <property name="tooltip" translatable="yes">Enable/Disable additional audit rules, that are normally not reported in the log files.</property>
   2662 			  <property name="label" translatable="yes">Enable Audit</property>
   2663 			  <property name="use_underline">True</property>
   2664 			  <property name="stock_id">gtk-zoom-in</property>
   2665 			  <property name="visible_horizontal">True</property>
   2666 			  <property name="visible_vertical">True</property>
   2667 			  <property name="is_important">False</property>
   2668 			  <signal name="clicked" handler="on_disable_audit_clicked" last_modification_time="Wed, 15 Nov 2006 16:29:34 GMT"/>
   2669 			</widget>
   2670 			<packing>
   2671 			  <property name="expand">False</property>
   2672 			  <property name="homogeneous">True</property>
   2673 			</packing>
   2674 		      </child>
   2675 		    </widget>
   2676 		    <packing>
   2677 		      <property name="padding">0</property>
   2678 		      <property name="expand">False</property>
   2679 		      <property name="fill">False</property>
   2680 		    </packing>
   2681 		  </child>
   2682 
   2683 		  <child>
   2684 		    <widget class="GtkHBox" id="hbox11">
   2685 		      <property name="visible">True</property>
   2686 		      <property name="homogeneous">False</property>
   2687 		      <property name="spacing">0</property>
   2688 
   2689 		      <child>
   2690 			<widget class="GtkLabel" id="label55">
   2691 			  <property name="visible">True</property>
   2692 			  <property name="label" translatable="yes">Filter</property>
   2693 			  <property name="use_underline">False</property>
   2694 			  <property name="use_markup">False</property>
   2695 			  <property name="justify">GTK_JUSTIFY_LEFT</property>
   2696 			  <property name="wrap">False</property>
   2697 			  <property name="selectable">False</property>
   2698 			  <property name="xalign">0.5</property>
   2699 			  <property name="yalign">0.5</property>
   2700 			  <property name="xpad">0</property>
   2701 			  <property name="ypad">0</property>
   2702 			  <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
   2703 			  <property name="width_chars">-1</property>
   2704 			  <property name="single_line_mode">False</property>
   2705 			  <property name="angle">0</property>
   2706 			</widget>
   2707 			<packing>
   2708 			  <property name="padding">10</property>
   2709 			  <property name="expand">False</property>
   2710 			  <property name="fill">False</property>
   2711 			</packing>
   2712 		      </child>
   2713 
   2714 		      <child>
   2715 			<widget class="GtkEntry" id="modulesFilterEntry">
   2716 			  <property name="visible">True</property>
   2717 			  <property name="can_focus">True</property>
   2718 			  <property name="editable">True</property>
   2719 			  <property name="visibility">True</property>
   2720 			  <property name="max_length">0</property>
   2721 			  <property name="text" translatable="yes"></property>
   2722 			  <property name="has_frame">True</property>
   2723 			  <property name="invisible_char"></property>
   2724 			  <property name="activates_default">False</property>
   2725 			  <signal name="changed" handler="on_booleansFilter_changed" last_modification_time="Fri, 06 Apr 2007 12:39:26 GMT"/>
   2726 			</widget>
   2727 			<packing>
   2728 			  <property name="padding">0</property>
   2729 			  <property name="expand">True</property>
   2730 			  <property name="fill">True</property>
   2731 			</packing>
   2732 		      </child>
   2733 		    </widget>
   2734 		    <packing>
   2735 		      <property name="padding">5</property>
   2736 		      <property name="expand">False</property>
   2737 		      <property name="fill">True</property>
   2738 		    </packing>
   2739 		  </child>
   2740 
   2741 		  <child>
   2742 		    <widget class="GtkScrolledWindow" id="scrolledwindow15">
   2743 		      <property name="visible">True</property>
   2744 		      <property name="can_focus">True</property>
   2745 		      <property name="hscrollbar_policy">GTK_POLICY_ALWAYS</property>
   2746 		      <property name="vscrollbar_policy">GTK_POLICY_ALWAYS</property>
   2747 		      <property name="shadow_type">GTK_SHADOW_NONE</property>
   2748 		      <property name="window_placement">GTK_CORNER_TOP_LEFT</property>
   2749 
   2750 		      <child>
   2751 			<widget class="GtkTreeView" id="modulesView">
   2752 			  <property name="visible">True</property>
   2753 			  <property name="tooltip" translatable="yes">Policy Module</property>
   2754 			  <property name="can_focus">True</property>
   2755 			  <property name="headers_visible">True</property>
   2756 			  <property name="rules_hint">False</property>
   2757 			  <property name="reorderable">False</property>
   2758 			  <property name="enable_search">True</property>
   2759 			  <property name="fixed_height_mode">False</property>
   2760 			  <property name="hover_selection">False</property>
   2761 			  <property name="hover_expand">False</property>
   2762 			</widget>
   2763 		      </child>
   2764 		    </widget>
   2765 		    <packing>
   2766 		      <property name="padding">0</property>
   2767 		      <property name="expand">True</property>
   2768 		      <property name="fill">True</property>
   2769 		    </packing>
   2770 		  </child>
   2771 		</widget>
   2772 		<packing>
   2773 		  <property name="tab_expand">False</property>
   2774 		  <property name="tab_fill">True</property>
   2775 		</packing>
   2776 	      </child>
   2777 
   2778 	      <child>
   2779 		<widget class="GtkLabel" id="label44">
   2780 		  <property name="visible">True</property>
   2781 		  <property name="label" translatable="yes">label44</property>
   2782 		  <property name="use_underline">False</property>
   2783 		  <property name="use_markup">False</property>
   2784 		  <property name="justify">GTK_JUSTIFY_LEFT</property>
   2785 		  <property name="wrap">False</property>
   2786 		  <property name="selectable">False</property>
   2787 		  <property name="xalign">0.5</property>
   2788 		  <property name="yalign">0.5</property>
   2789 		  <property name="xpad">0</property>
   2790 		  <property name="ypad">0</property>
   2791 		  <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
   2792 		  <property name="width_chars">-1</property>
   2793 		  <property name="single_line_mode">False</property>
   2794 		  <property name="angle">0</property>
   2795 		</widget>
   2796 		<packing>
   2797 		  <property name="type">tab</property>
   2798 		</packing>
   2799 	      </child>
   2800 
   2801 	      <child>
   2802 		<widget class="GtkVBox" id="vbox19">
   2803 		  <property name="visible">True</property>
   2804 		  <property name="homogeneous">False</property>
   2805 		  <property name="spacing">0</property>
   2806 
   2807 		  <child>
   2808 		    <widget class="GtkToolbar" id="toolbar10">
   2809 		      <property name="visible">True</property>
   2810 		      <property name="orientation">GTK_ORIENTATION_HORIZONTAL</property>
   2811 		      <property name="toolbar_style">GTK_TOOLBAR_BOTH</property>
   2812 		      <property name="tooltips">True</property>
   2813 		      <property name="show_arrow">True</property>
   2814 
   2815 		      <child>
   2816 			<widget class="GtkToolButton" id="permissiveButton">
   2817 			  <property name="visible">True</property>
   2818 			  <property name="tooltip" translatable="yes">Change process mode to permissive.</property>
   2819 			  <property name="label" translatable="yes">Permissive</property>
   2820 			  <property name="use_underline">True</property>
   2821 			  <property name="stock_id">gtk-dialog-warning</property>
   2822 			  <property name="visible_horizontal">True</property>
   2823 			  <property name="visible_vertical">True</property>
   2824 			  <property name="is_important">False</property>
   2825 			  <signal name="clicked" handler="on_add_clicked" last_modification_time="Mon, 16 Jan 2006 18:27:03 GMT"/>
   2826 			</widget>
   2827 			<packing>
   2828 			  <property name="expand">False</property>
   2829 			  <property name="homogeneous">True</property>
   2830 			</packing>
   2831 		      </child>
   2832 
   2833 		      <child>
   2834 			<widget class="GtkToolButton" id="enforcingButton">
   2835 			  <property name="visible">True</property>
   2836 			  <property name="tooltip" translatable="yes">Change process mode to enforcing</property>
   2837 			  <property name="label" translatable="yes">Enforcing</property>
   2838 			  <property name="use_underline">True</property>
   2839 			  <property name="stock_id">gtk-dialog-error</property>
   2840 			  <property name="visible_horizontal">True</property>
   2841 			  <property name="visible_vertical">True</property>
   2842 			  <property name="is_important">False</property>
   2843 			  <signal name="clicked" handler="on_delete_clicked" last_modification_time="Mon, 16 Jan 2006 18:26:29 GMT"/>
   2844 			</widget>
   2845 			<packing>
   2846 			  <property name="expand">False</property>
   2847 			  <property name="homogeneous">True</property>
   2848 			</packing>
   2849 		      </child>
   2850 		    </widget>
   2851 		    <packing>
   2852 		      <property name="padding">0</property>
   2853 		      <property name="expand">False</property>
   2854 		      <property name="fill">False</property>
   2855 		    </packing>
   2856 		  </child>
   2857 
   2858 		  <child>
   2859 		    <widget class="GtkHBox" id="hbox15">
   2860 		      <property name="visible">True</property>
   2861 		      <property name="homogeneous">False</property>
   2862 		      <property name="spacing">0</property>
   2863 
   2864 		      <child>
   2865 			<widget class="GtkLabel" id="label60">
   2866 			  <property name="visible">True</property>
   2867 			  <property name="label" translatable="yes">Filter</property>
   2868 			  <property name="use_underline">False</property>
   2869 			  <property name="use_markup">False</property>
   2870 			  <property name="justify">GTK_JUSTIFY_LEFT</property>
   2871 			  <property name="wrap">False</property>
   2872 			  <property name="selectable">False</property>
   2873 			  <property name="xalign">0.5</property>
   2874 			  <property name="yalign">0.5</property>
   2875 			  <property name="xpad">0</property>
   2876 			  <property name="ypad">0</property>
   2877 			  <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
   2878 			  <property name="width_chars">-1</property>
   2879 			  <property name="single_line_mode">False</property>
   2880 			  <property name="angle">0</property>
   2881 			</widget>
   2882 			<packing>
   2883 			  <property name="padding">10</property>
   2884 			  <property name="expand">False</property>
   2885 			  <property name="fill">False</property>
   2886 			</packing>
   2887 		      </child>
   2888 
   2889 		      <child>
   2890 			<widget class="GtkEntry" id="domainsFilterEntry">
   2891 			  <property name="visible">True</property>
   2892 			  <property name="can_focus">True</property>
   2893 			  <property name="editable">True</property>
   2894 			  <property name="visibility">True</property>
   2895 			  <property name="max_length">0</property>
   2896 			  <property name="text" translatable="yes"></property>
   2897 			  <property name="has_frame">True</property>
   2898 			  <property name="invisible_char"></property>
   2899 			  <property name="activates_default">False</property>
   2900 			  <signal name="changed" handler="on_booleansFilter_changed" last_modification_time="Fri, 06 Apr 2007 12:39:26 GMT"/>
   2901 			</widget>
   2902 			<packing>
   2903 			  <property name="padding">0</property>
   2904 			  <property name="expand">True</property>
   2905 			  <property name="fill">True</property>
   2906 			</packing>
   2907 		      </child>
   2908 		    </widget>
   2909 		    <packing>
   2910 		      <property name="padding">5</property>
   2911 		      <property name="expand">False</property>
   2912 		      <property name="fill">True</property>
   2913 		    </packing>
   2914 		  </child>
   2915 
   2916 		  <child>
   2917 		    <widget class="GtkScrolledWindow" id="scrolledwindow20">
   2918 		      <property name="visible">True</property>
   2919 		      <property name="can_focus">True</property>
   2920 		      <property name="hscrollbar_policy">GTK_POLICY_ALWAYS</property>
   2921 		      <property name="vscrollbar_policy">GTK_POLICY_ALWAYS</property>
   2922 		      <property name="shadow_type">GTK_SHADOW_NONE</property>
   2923 		      <property name="window_placement">GTK_CORNER_TOP_LEFT</property>
   2924 
   2925 		      <child>
   2926 			<widget class="GtkTreeView" id="domainsView">
   2927 			  <property name="visible">True</property>
   2928 			  <property name="tooltip" translatable="yes">Process Domain</property>
   2929 			  <property name="can_focus">True</property>
   2930 			  <property name="headers_visible">True</property>
   2931 			  <property name="rules_hint">False</property>
   2932 			  <property name="reorderable">False</property>
   2933 			  <property name="enable_search">True</property>
   2934 			  <property name="fixed_height_mode">False</property>
   2935 			  <property name="hover_selection">False</property>
   2936 			  <property name="hover_expand">False</property>
   2937 			</widget>
   2938 		      </child>
   2939 		    </widget>
   2940 		    <packing>
   2941 		      <property name="padding">0</property>
   2942 		      <property name="expand">True</property>
   2943 		      <property name="fill">True</property>
   2944 		    </packing>
   2945 		  </child>
   2946 		</widget>
   2947 		<packing>
   2948 		  <property name="tab_expand">False</property>
   2949 		  <property name="tab_fill">True</property>
   2950 		</packing>
   2951 	      </child>
   2952 
   2953 	      <child>
   2954 		<widget class="GtkLabel" id="label59">
   2955 		  <property name="visible">True</property>
   2956 		  <property name="label" translatable="yes">label59</property>
   2957 		  <property name="use_underline">False</property>
   2958 		  <property name="use_markup">False</property>
   2959 		  <property name="justify">GTK_JUSTIFY_LEFT</property>
   2960 		  <property name="wrap">False</property>
   2961 		  <property name="selectable">False</property>
   2962 		  <property name="xalign">0.5</property>
   2963 		  <property name="yalign">0.5</property>
   2964 		  <property name="xpad">0</property>
   2965 		  <property name="ypad">0</property>
   2966 		  <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
   2967 		  <property name="width_chars">-1</property>
   2968 		  <property name="single_line_mode">False</property>
   2969 		  <property name="angle">0</property>
   2970 		</widget>
   2971 		<packing>
   2972 		  <property name="type">tab</property>
   2973 		</packing>
   2974 	      </child>
   2975 	    </widget>
   2976 	    <packing>
   2977 	      <property name="shrink">True</property>
   2978 	      <property name="resize">True</property>
   2979 	    </packing>
   2980 	  </child>
   2981 	</widget>
   2982       </child>
   2983     </widget>
   2984     <packing>
   2985       <property name="padding">0</property>
   2986       <property name="expand">True</property>
   2987       <property name="fill">True</property>
   2988     </packing>
   2989   </child>
   2990 
   2991   <child internal-child="appbar">
   2992     <widget class="GnomeAppBar" id="appbar2">
   2993       <property name="visible">True</property>
   2994       <property name="has_progress">True</property>
   2995       <property name="has_status">True</property>
   2996     </widget>
   2997     <packing>
   2998       <property name="padding">0</property>
   2999       <property name="expand">True</property>
   3000       <property name="fill">True</property>
   3001     </packing>
   3002   </child>
   3003 </widget>
   3004 
   3005 </glade-interface>
   3006