ia64/linux-2.6.18-xen.hg

annotate scripts/kconfig/gconf.glade @ 897:329ea0ccb344

balloon: try harder to balloon up under memory pressure.

Currently if the balloon driver is unable to increase the guest's
reservation it assumes the failure was due to reaching its full
allocation, gives up on the ballooning operation and records the limit
it reached as the "hard limit". The driver will not try again until
the target is set again (even to the same value).

However it is possible that ballooning has in fact failed due to
memory pressure in the host and therefore it is desirable to keep
attempting to reach the target in case memory becomes available. The
most likely scenario is that some guests are ballooning down while
others are ballooning up and therefore there is temporary memory
pressure while things stabilise. You would not expect a well behaved
toolstack to ask a domain to balloon to more than its allocation nor
would you expect it to deliberately over-commit memory by setting
balloon targets which exceed the total host memory.

This patch drops the concept of a hard limit and causes the balloon
driver to retry increasing the reservation on a timer in the same
manner as when decreasing the reservation.

Also if we partially succeed in increasing the reservation
(i.e. receive less pages than we asked for) then we may as well keep
those pages rather than returning them to Xen.

Signed-off-by: Ian Campbell <ian.campbell@citrix.com>
author Keir Fraser <keir.fraser@citrix.com>
date Fri Jun 05 14:01:20 2009 +0100 (2009-06-05)
parents 831230e53067
children
rev   line source
ian@0 1 <?xml version="1.0" standalone="no"?> <!--*- mode: xml -*-->
ian@0 2 <!DOCTYPE glade-interface SYSTEM "http://glade.gnome.org/glade-2.0.dtd">
ian@0 3
ian@0 4 <glade-interface>
ian@0 5
ian@0 6 <widget class="GtkWindow" id="window1">
ian@0 7 <property name="visible">True</property>
ian@0 8 <property name="title" translatable="yes">Gtk Kernel Configurator</property>
ian@0 9 <property name="type">GTK_WINDOW_TOPLEVEL</property>
ian@0 10 <property name="window_position">GTK_WIN_POS_NONE</property>
ian@0 11 <property name="modal">False</property>
ian@0 12 <property name="default_width">640</property>
ian@0 13 <property name="default_height">480</property>
ian@0 14 <property name="resizable">True</property>
ian@0 15 <property name="destroy_with_parent">False</property>
ian@0 16 <property name="decorated">True</property>
ian@0 17 <property name="skip_taskbar_hint">False</property>
ian@0 18 <property name="skip_pager_hint">False</property>
ian@0 19 <property name="type_hint">GDK_WINDOW_TYPE_HINT_NORMAL</property>
ian@0 20 <property name="gravity">GDK_GRAVITY_NORTH_WEST</property>
ian@0 21 <signal name="destroy" handler="on_window1_destroy" object="window1"/>
ian@0 22 <signal name="size_request" handler="on_window1_size_request" object="vpaned1" last_modification_time="Fri, 11 Jan 2002 16:17:11 GMT"/>
ian@0 23 <signal name="delete_event" handler="on_window1_delete_event" object="window1" last_modification_time="Sun, 09 Mar 2003 19:42:46 GMT"/>
ian@0 24
ian@0 25 <child>
ian@0 26 <widget class="GtkVBox" id="vbox1">
ian@0 27 <property name="visible">True</property>
ian@0 28 <property name="homogeneous">False</property>
ian@0 29 <property name="spacing">0</property>
ian@0 30
ian@0 31 <child>
ian@0 32 <widget class="GtkMenuBar" id="menubar1">
ian@0 33 <property name="visible">True</property>
ian@0 34
ian@0 35 <child>
ian@0 36 <widget class="GtkMenuItem" id="file1">
ian@0 37 <property name="visible">True</property>
ian@0 38 <property name="label" translatable="yes">_File</property>
ian@0 39 <property name="use_underline">True</property>
ian@0 40
ian@0 41 <child>
ian@0 42 <widget class="GtkMenu" id="file1_menu">
ian@0 43
ian@0 44 <child>
ian@0 45 <widget class="GtkImageMenuItem" id="load1">
ian@0 46 <property name="visible">True</property>
ian@0 47 <property name="tooltip" translatable="yes">Load a config file</property>
ian@0 48 <property name="label" translatable="yes">_Load</property>
ian@0 49 <property name="use_underline">True</property>
ian@0 50 <signal name="activate" handler="on_load1_activate"/>
ian@0 51 <accelerator key="L" modifiers="GDK_CONTROL_MASK" signal="activate"/>
ian@0 52
ian@0 53 <child internal-child="image">
ian@0 54 <widget class="GtkImage" id="image39">
ian@0 55 <property name="visible">True</property>
ian@0 56 <property name="stock">gtk-open</property>
ian@0 57 <property name="icon_size">1</property>
ian@0 58 <property name="xalign">0.5</property>
ian@0 59 <property name="yalign">0.5</property>
ian@0 60 <property name="xpad">0</property>
ian@0 61 <property name="ypad">0</property>
ian@0 62 </widget>
ian@0 63 </child>
ian@0 64 </widget>
ian@0 65 </child>
ian@0 66
ian@0 67 <child>
ian@0 68 <widget class="GtkImageMenuItem" id="save1">
ian@0 69 <property name="visible">True</property>
ian@0 70 <property name="tooltip" translatable="yes">Save the config in .config</property>
ian@0 71 <property name="label" translatable="yes">_Save</property>
ian@0 72 <property name="use_underline">True</property>
ian@0 73 <signal name="activate" handler="on_save1_activate"/>
ian@0 74 <accelerator key="S" modifiers="GDK_CONTROL_MASK" signal="activate"/>
ian@0 75
ian@0 76 <child internal-child="image">
ian@0 77 <widget class="GtkImage" id="image40">
ian@0 78 <property name="visible">True</property>
ian@0 79 <property name="stock">gtk-save</property>
ian@0 80 <property name="icon_size">1</property>
ian@0 81 <property name="xalign">0.5</property>
ian@0 82 <property name="yalign">0.5</property>
ian@0 83 <property name="xpad">0</property>
ian@0 84 <property name="ypad">0</property>
ian@0 85 </widget>
ian@0 86 </child>
ian@0 87 </widget>
ian@0 88 </child>
ian@0 89
ian@0 90 <child>
ian@0 91 <widget class="GtkImageMenuItem" id="save_as1">
ian@0 92 <property name="visible">True</property>
ian@0 93 <property name="tooltip" translatable="yes">Save the config in a file</property>
ian@0 94 <property name="label" translatable="yes">Save _as</property>
ian@0 95 <property name="use_underline">True</property>
ian@0 96 <signal name="activate" handler="on_save_as1_activate"/>
ian@0 97
ian@0 98 <child internal-child="image">
ian@0 99 <widget class="GtkImage" id="image41">
ian@0 100 <property name="visible">True</property>
ian@0 101 <property name="stock">gtk-save-as</property>
ian@0 102 <property name="icon_size">1</property>
ian@0 103 <property name="xalign">0.5</property>
ian@0 104 <property name="yalign">0.5</property>
ian@0 105 <property name="xpad">0</property>
ian@0 106 <property name="ypad">0</property>
ian@0 107 </widget>
ian@0 108 </child>
ian@0 109 </widget>
ian@0 110 </child>
ian@0 111
ian@0 112 <child>
ian@0 113 <widget class="GtkSeparatorMenuItem" id="separator1">
ian@0 114 <property name="visible">True</property>
ian@0 115 </widget>
ian@0 116 </child>
ian@0 117
ian@0 118 <child>
ian@0 119 <widget class="GtkImageMenuItem" id="quit1">
ian@0 120 <property name="visible">True</property>
ian@0 121 <property name="label" translatable="yes">_Quit</property>
ian@0 122 <property name="use_underline">True</property>
ian@0 123 <signal name="activate" handler="on_quit1_activate"/>
ian@0 124 <accelerator key="Q" modifiers="GDK_CONTROL_MASK" signal="activate"/>
ian@0 125
ian@0 126 <child internal-child="image">
ian@0 127 <widget class="GtkImage" id="image42">
ian@0 128 <property name="visible">True</property>
ian@0 129 <property name="stock">gtk-quit</property>
ian@0 130 <property name="icon_size">1</property>
ian@0 131 <property name="xalign">0.5</property>
ian@0 132 <property name="yalign">0.5</property>
ian@0 133 <property name="xpad">0</property>
ian@0 134 <property name="ypad">0</property>
ian@0 135 </widget>
ian@0 136 </child>
ian@0 137 </widget>
ian@0 138 </child>
ian@0 139 </widget>
ian@0 140 </child>
ian@0 141 </widget>
ian@0 142 </child>
ian@0 143
ian@0 144 <child>
ian@0 145 <widget class="GtkMenuItem" id="options1">
ian@0 146 <property name="visible">True</property>
ian@0 147 <property name="label" translatable="yes">_Options</property>
ian@0 148 <property name="use_underline">True</property>
ian@0 149
ian@0 150 <child>
ian@0 151 <widget class="GtkMenu" id="options1_menu">
ian@0 152
ian@0 153 <child>
ian@0 154 <widget class="GtkCheckMenuItem" id="show_name1">
ian@0 155 <property name="visible">True</property>
ian@0 156 <property name="tooltip" translatable="yes">Show name</property>
ian@0 157 <property name="label" translatable="yes">Show _name</property>
ian@0 158 <property name="use_underline">True</property>
ian@0 159 <property name="active">False</property>
ian@0 160 <signal name="activate" handler="on_show_name1_activate"/>
ian@0 161 </widget>
ian@0 162 </child>
ian@0 163
ian@0 164 <child>
ian@0 165 <widget class="GtkCheckMenuItem" id="show_range1">
ian@0 166 <property name="visible">True</property>
ian@0 167 <property name="tooltip" translatable="yes">Show range (Y/M/N)</property>
ian@0 168 <property name="label" translatable="yes">Show _range</property>
ian@0 169 <property name="use_underline">True</property>
ian@0 170 <property name="active">False</property>
ian@0 171 <signal name="activate" handler="on_show_range1_activate"/>
ian@0 172 </widget>
ian@0 173 </child>
ian@0 174
ian@0 175 <child>
ian@0 176 <widget class="GtkCheckMenuItem" id="show_data1">
ian@0 177 <property name="visible">True</property>
ian@0 178 <property name="tooltip" translatable="yes">Show value of the option</property>
ian@0 179 <property name="label" translatable="yes">Show _data</property>
ian@0 180 <property name="use_underline">True</property>
ian@0 181 <property name="active">False</property>
ian@0 182 <signal name="activate" handler="on_show_data1_activate"/>
ian@0 183 </widget>
ian@0 184 </child>
ian@0 185
ian@0 186 <child>
ian@0 187 <widget class="GtkSeparatorMenuItem" id="separator2">
ian@0 188 <property name="visible">True</property>
ian@0 189 </widget>
ian@0 190 </child>
ian@0 191
ian@0 192 <child>
ian@0 193 <widget class="GtkCheckMenuItem" id="show_all_options1">
ian@0 194 <property name="visible">True</property>
ian@0 195 <property name="tooltip" translatable="yes">Show all options</property>
ian@0 196 <property name="label" translatable="yes">Show all _options</property>
ian@0 197 <property name="use_underline">True</property>
ian@0 198 <property name="active">False</property>
ian@0 199 <signal name="activate" handler="on_show_all_options1_activate"/>
ian@0 200 </widget>
ian@0 201 </child>
ian@0 202
ian@0 203 <child>
ian@0 204 <widget class="GtkCheckMenuItem" id="show_debug_info1">
ian@0 205 <property name="visible">True</property>
ian@0 206 <property name="tooltip" translatable="yes">Show masked options</property>
ian@0 207 <property name="label" translatable="yes">Show _debug info</property>
ian@0 208 <property name="use_underline">True</property>
ian@0 209 <property name="active">False</property>
ian@0 210 <signal name="activate" handler="on_show_debug_info1_activate"/>
ian@0 211 </widget>
ian@0 212 </child>
ian@0 213 </widget>
ian@0 214 </child>
ian@0 215 </widget>
ian@0 216 </child>
ian@0 217
ian@0 218 <child>
ian@0 219 <widget class="GtkMenuItem" id="help1">
ian@0 220 <property name="visible">True</property>
ian@0 221 <property name="label" translatable="yes">_Help</property>
ian@0 222 <property name="use_underline">True</property>
ian@0 223
ian@0 224 <child>
ian@0 225 <widget class="GtkMenu" id="help1_menu">
ian@0 226
ian@0 227 <child>
ian@0 228 <widget class="GtkImageMenuItem" id="introduction1">
ian@0 229 <property name="visible">True</property>
ian@0 230 <property name="label" translatable="yes">_Introduction</property>
ian@0 231 <property name="use_underline">True</property>
ian@0 232 <signal name="activate" handler="on_introduction1_activate" last_modification_time="Fri, 15 Nov 2002 20:26:30 GMT"/>
ian@0 233 <accelerator key="I" modifiers="GDK_CONTROL_MASK" signal="activate"/>
ian@0 234
ian@0 235 <child internal-child="image">
ian@0 236 <widget class="GtkImage" id="image43">
ian@0 237 <property name="visible">True</property>
ian@0 238 <property name="stock">gtk-dialog-question</property>
ian@0 239 <property name="icon_size">1</property>
ian@0 240 <property name="xalign">0.5</property>
ian@0 241 <property name="yalign">0.5</property>
ian@0 242 <property name="xpad">0</property>
ian@0 243 <property name="ypad">0</property>
ian@0 244 </widget>
ian@0 245 </child>
ian@0 246 </widget>
ian@0 247 </child>
ian@0 248
ian@0 249 <child>
ian@0 250 <widget class="GtkImageMenuItem" id="about1">
ian@0 251 <property name="visible">True</property>
ian@0 252 <property name="label" translatable="yes">_About</property>
ian@0 253 <property name="use_underline">True</property>
ian@0 254 <signal name="activate" handler="on_about1_activate" last_modification_time="Fri, 15 Nov 2002 20:26:30 GMT"/>
ian@0 255 <accelerator key="A" modifiers="GDK_CONTROL_MASK" signal="activate"/>
ian@0 256
ian@0 257 <child internal-child="image">
ian@0 258 <widget class="GtkImage" id="image44">
ian@0 259 <property name="visible">True</property>
ian@0 260 <property name="stock">gtk-properties</property>
ian@0 261 <property name="icon_size">1</property>
ian@0 262 <property name="xalign">0.5</property>
ian@0 263 <property name="yalign">0.5</property>
ian@0 264 <property name="xpad">0</property>
ian@0 265 <property name="ypad">0</property>
ian@0 266 </widget>
ian@0 267 </child>
ian@0 268 </widget>
ian@0 269 </child>
ian@0 270
ian@0 271 <child>
ian@0 272 <widget class="GtkImageMenuItem" id="license1">
ian@0 273 <property name="visible">True</property>
ian@0 274 <property name="label" translatable="yes">_License</property>
ian@0 275 <property name="use_underline">True</property>
ian@0 276 <signal name="activate" handler="on_license1_activate" last_modification_time="Fri, 15 Nov 2002 20:26:30 GMT"/>
ian@0 277
ian@0 278 <child internal-child="image">
ian@0 279 <widget class="GtkImage" id="image45">
ian@0 280 <property name="visible">True</property>
ian@0 281 <property name="stock">gtk-justify-fill</property>
ian@0 282 <property name="icon_size">1</property>
ian@0 283 <property name="xalign">0.5</property>
ian@0 284 <property name="yalign">0.5</property>
ian@0 285 <property name="xpad">0</property>
ian@0 286 <property name="ypad">0</property>
ian@0 287 </widget>
ian@0 288 </child>
ian@0 289 </widget>
ian@0 290 </child>
ian@0 291 </widget>
ian@0 292 </child>
ian@0 293 </widget>
ian@0 294 </child>
ian@0 295 </widget>
ian@0 296 <packing>
ian@0 297 <property name="padding">0</property>
ian@0 298 <property name="expand">False</property>
ian@0 299 <property name="fill">False</property>
ian@0 300 </packing>
ian@0 301 </child>
ian@0 302
ian@0 303 <child>
ian@0 304 <widget class="GtkHandleBox" id="handlebox1">
ian@0 305 <property name="visible">True</property>
ian@0 306 <property name="shadow_type">GTK_SHADOW_OUT</property>
ian@0 307 <property name="handle_position">GTK_POS_LEFT</property>
ian@0 308 <property name="snap_edge">GTK_POS_TOP</property>
ian@0 309
ian@0 310 <child>
ian@0 311 <widget class="GtkToolbar" id="toolbar1">
ian@0 312 <property name="visible">True</property>
ian@0 313 <property name="orientation">GTK_ORIENTATION_HORIZONTAL</property>
ian@0 314 <property name="toolbar_style">GTK_TOOLBAR_BOTH</property>
ian@0 315 <property name="tooltips">True</property>
ian@0 316 <property name="show_arrow">True</property>
ian@0 317
ian@0 318 <child>
ian@0 319 <widget class="GtkToolButton" id="button1">
ian@0 320 <property name="visible">True</property>
ian@0 321 <property name="tooltip" translatable="yes">Goes up of one level (single view)</property>
ian@0 322 <property name="label" translatable="yes">Back</property>
ian@0 323 <property name="use_underline">True</property>
ian@0 324 <property name="stock_id">gtk-undo</property>
ian@0 325 <property name="visible_horizontal">True</property>
ian@0 326 <property name="visible_vertical">True</property>
ian@0 327 <property name="is_important">False</property>
ian@0 328 <signal name="clicked" handler="on_back_clicked"/>
ian@0 329 </widget>
ian@0 330 <packing>
ian@0 331 <property name="expand">False</property>
ian@0 332 <property name="homogeneous">True</property>
ian@0 333 </packing>
ian@0 334 </child>
ian@0 335
ian@0 336 <child>
ian@0 337 <widget class="GtkToolItem" id="toolitem1">
ian@0 338 <property name="visible">True</property>
ian@0 339 <property name="visible_horizontal">True</property>
ian@0 340 <property name="visible_vertical">True</property>
ian@0 341 <property name="is_important">False</property>
ian@0 342
ian@0 343 <child>
ian@0 344 <widget class="GtkVSeparator" id="vseparator1">
ian@0 345 <property name="visible">True</property>
ian@0 346 </widget>
ian@0 347 </child>
ian@0 348 </widget>
ian@0 349 <packing>
ian@0 350 <property name="expand">False</property>
ian@0 351 <property name="homogeneous">False</property>
ian@0 352 </packing>
ian@0 353 </child>
ian@0 354
ian@0 355 <child>
ian@0 356 <widget class="GtkToolButton" id="button2">
ian@0 357 <property name="visible">True</property>
ian@0 358 <property name="tooltip" translatable="yes">Load a config file</property>
ian@0 359 <property name="label" translatable="yes">Load</property>
ian@0 360 <property name="use_underline">True</property>
ian@0 361 <property name="stock_id">gtk-open</property>
ian@0 362 <property name="visible_horizontal">True</property>
ian@0 363 <property name="visible_vertical">True</property>
ian@0 364 <property name="is_important">False</property>
ian@0 365 <signal name="clicked" handler="on_load_clicked"/>
ian@0 366 </widget>
ian@0 367 <packing>
ian@0 368 <property name="expand">False</property>
ian@0 369 <property name="homogeneous">True</property>
ian@0 370 </packing>
ian@0 371 </child>
ian@0 372
ian@0 373 <child>
ian@0 374 <widget class="GtkToolButton" id="button3">
ian@0 375 <property name="visible">True</property>
ian@0 376 <property name="tooltip" translatable="yes">Save a config file</property>
ian@0 377 <property name="label" translatable="yes">Save</property>
ian@0 378 <property name="use_underline">True</property>
ian@0 379 <property name="stock_id">gtk-save</property>
ian@0 380 <property name="visible_horizontal">True</property>
ian@0 381 <property name="visible_vertical">True</property>
ian@0 382 <property name="is_important">False</property>
ian@0 383 <signal name="clicked" handler="on_save_clicked"/>
ian@0 384 </widget>
ian@0 385 <packing>
ian@0 386 <property name="expand">False</property>
ian@0 387 <property name="homogeneous">True</property>
ian@0 388 </packing>
ian@0 389 </child>
ian@0 390
ian@0 391 <child>
ian@0 392 <widget class="GtkToolItem" id="toolitem2">
ian@0 393 <property name="visible">True</property>
ian@0 394 <property name="visible_horizontal">True</property>
ian@0 395 <property name="visible_vertical">True</property>
ian@0 396 <property name="is_important">False</property>
ian@0 397
ian@0 398 <child>
ian@0 399 <widget class="GtkVSeparator" id="vseparator2">
ian@0 400 <property name="visible">True</property>
ian@0 401 </widget>
ian@0 402 </child>
ian@0 403 </widget>
ian@0 404 <packing>
ian@0 405 <property name="expand">False</property>
ian@0 406 <property name="homogeneous">False</property>
ian@0 407 </packing>
ian@0 408 </child>
ian@0 409
ian@0 410 <child>
ian@0 411 <widget class="GtkToolButton" id="button4">
ian@0 412 <property name="visible">True</property>
ian@0 413 <property name="tooltip" translatable="yes">Single view</property>
ian@0 414 <property name="label" translatable="yes">Single</property>
ian@0 415 <property name="use_underline">True</property>
ian@0 416 <property name="stock_id">gtk-missing-image</property>
ian@0 417 <property name="visible_horizontal">True</property>
ian@0 418 <property name="visible_vertical">True</property>
ian@0 419 <property name="is_important">False</property>
ian@0 420 <signal name="clicked" handler="on_single_clicked" last_modification_time="Sun, 12 Jan 2003 14:28:39 GMT"/>
ian@0 421 </widget>
ian@0 422 <packing>
ian@0 423 <property name="expand">False</property>
ian@0 424 <property name="homogeneous">True</property>
ian@0 425 </packing>
ian@0 426 </child>
ian@0 427
ian@0 428 <child>
ian@0 429 <widget class="GtkToolButton" id="button5">
ian@0 430 <property name="visible">True</property>
ian@0 431 <property name="tooltip" translatable="yes">Split view</property>
ian@0 432 <property name="label" translatable="yes">Split</property>
ian@0 433 <property name="use_underline">True</property>
ian@0 434 <property name="stock_id">gtk-missing-image</property>
ian@0 435 <property name="visible_horizontal">True</property>
ian@0 436 <property name="visible_vertical">True</property>
ian@0 437 <property name="is_important">False</property>
ian@0 438 <signal name="clicked" handler="on_split_clicked" last_modification_time="Sun, 12 Jan 2003 14:28:45 GMT"/>
ian@0 439 </widget>
ian@0 440 <packing>
ian@0 441 <property name="expand">False</property>
ian@0 442 <property name="homogeneous">True</property>
ian@0 443 </packing>
ian@0 444 </child>
ian@0 445
ian@0 446 <child>
ian@0 447 <widget class="GtkToolButton" id="button6">
ian@0 448 <property name="visible">True</property>
ian@0 449 <property name="tooltip" translatable="yes">Full view</property>
ian@0 450 <property name="label" translatable="yes">Full</property>
ian@0 451 <property name="use_underline">True</property>
ian@0 452 <property name="stock_id">gtk-missing-image</property>
ian@0 453 <property name="visible_horizontal">True</property>
ian@0 454 <property name="visible_vertical">True</property>
ian@0 455 <property name="is_important">False</property>
ian@0 456 <signal name="clicked" handler="on_full_clicked" last_modification_time="Sun, 12 Jan 2003 14:28:50 GMT"/>
ian@0 457 </widget>
ian@0 458 <packing>
ian@0 459 <property name="expand">False</property>
ian@0 460 <property name="homogeneous">True</property>
ian@0 461 </packing>
ian@0 462 </child>
ian@0 463
ian@0 464 <child>
ian@0 465 <widget class="GtkToolItem" id="toolitem3">
ian@0 466 <property name="visible">True</property>
ian@0 467 <property name="visible_horizontal">True</property>
ian@0 468 <property name="visible_vertical">True</property>
ian@0 469 <property name="is_important">False</property>
ian@0 470
ian@0 471 <child>
ian@0 472 <widget class="GtkVSeparator" id="vseparator3">
ian@0 473 <property name="visible">True</property>
ian@0 474 </widget>
ian@0 475 </child>
ian@0 476 </widget>
ian@0 477 <packing>
ian@0 478 <property name="expand">False</property>
ian@0 479 <property name="homogeneous">False</property>
ian@0 480 </packing>
ian@0 481 </child>
ian@0 482
ian@0 483 <child>
ian@0 484 <widget class="GtkToolButton" id="button7">
ian@0 485 <property name="visible">True</property>
ian@0 486 <property name="tooltip" translatable="yes">Collapse the whole tree in the right frame</property>
ian@0 487 <property name="label" translatable="yes">Collapse</property>
ian@0 488 <property name="use_underline">True</property>
ian@0 489 <property name="stock_id">gtk-remove</property>
ian@0 490 <property name="visible_horizontal">True</property>
ian@0 491 <property name="visible_vertical">True</property>
ian@0 492 <property name="is_important">False</property>
ian@0 493 <signal name="clicked" handler="on_collapse_clicked"/>
ian@0 494 </widget>
ian@0 495 <packing>
ian@0 496 <property name="expand">False</property>
ian@0 497 <property name="homogeneous">True</property>
ian@0 498 </packing>
ian@0 499 </child>
ian@0 500
ian@0 501 <child>
ian@0 502 <widget class="GtkToolButton" id="button8">
ian@0 503 <property name="visible">True</property>
ian@0 504 <property name="tooltip" translatable="yes">Expand the whole tree in the right frame</property>
ian@0 505 <property name="label" translatable="yes">Expand</property>
ian@0 506 <property name="use_underline">True</property>
ian@0 507 <property name="stock_id">gtk-add</property>
ian@0 508 <property name="visible_horizontal">True</property>
ian@0 509 <property name="visible_vertical">True</property>
ian@0 510 <property name="is_important">False</property>
ian@0 511 <signal name="clicked" handler="on_expand_clicked"/>
ian@0 512 </widget>
ian@0 513 <packing>
ian@0 514 <property name="expand">False</property>
ian@0 515 <property name="homogeneous">True</property>
ian@0 516 </packing>
ian@0 517 </child>
ian@0 518 </widget>
ian@0 519 </child>
ian@0 520 </widget>
ian@0 521 <packing>
ian@0 522 <property name="padding">0</property>
ian@0 523 <property name="expand">False</property>
ian@0 524 <property name="fill">False</property>
ian@0 525 </packing>
ian@0 526 </child>
ian@0 527
ian@0 528 <child>
ian@0 529 <widget class="GtkHPaned" id="hpaned1">
ian@0 530 <property name="width_request">1</property>
ian@0 531 <property name="visible">True</property>
ian@0 532 <property name="can_focus">True</property>
ian@0 533 <property name="position">0</property>
ian@0 534
ian@0 535 <child>
ian@0 536 <widget class="GtkScrolledWindow" id="scrolledwindow1">
ian@0 537 <property name="visible">True</property>
ian@0 538 <property name="hscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
ian@0 539 <property name="vscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
ian@0 540 <property name="shadow_type">GTK_SHADOW_IN</property>
ian@0 541 <property name="window_placement">GTK_CORNER_TOP_LEFT</property>
ian@0 542
ian@0 543 <child>
ian@0 544 <widget class="GtkTreeView" id="treeview1">
ian@0 545 <property name="visible">True</property>
ian@0 546 <property name="can_focus">True</property>
ian@0 547 <property name="headers_visible">True</property>
ian@0 548 <property name="rules_hint">False</property>
ian@0 549 <property name="reorderable">False</property>
ian@0 550 <property name="enable_search">True</property>
ian@0 551 <signal name="cursor_changed" handler="on_treeview2_cursor_changed" last_modification_time="Sun, 12 Jan 2003 15:58:22 GMT"/>
ian@0 552 <signal name="button_press_event" handler="on_treeview1_button_press_event" last_modification_time="Sun, 12 Jan 2003 16:03:52 GMT"/>
ian@0 553 <signal name="key_press_event" handler="on_treeview2_key_press_event" last_modification_time="Sun, 12 Jan 2003 16:11:44 GMT"/>
ian@0 554 </widget>
ian@0 555 </child>
ian@0 556 </widget>
ian@0 557 <packing>
ian@0 558 <property name="shrink">True</property>
ian@0 559 <property name="resize">False</property>
ian@0 560 </packing>
ian@0 561 </child>
ian@0 562
ian@0 563 <child>
ian@0 564 <widget class="GtkVPaned" id="vpaned1">
ian@0 565 <property name="visible">True</property>
ian@0 566 <property name="can_focus">True</property>
ian@0 567 <property name="position">0</property>
ian@0 568
ian@0 569 <child>
ian@0 570 <widget class="GtkScrolledWindow" id="scrolledwindow2">
ian@0 571 <property name="visible">True</property>
ian@0 572 <property name="hscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
ian@0 573 <property name="vscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
ian@0 574 <property name="shadow_type">GTK_SHADOW_IN</property>
ian@0 575 <property name="window_placement">GTK_CORNER_TOP_LEFT</property>
ian@0 576
ian@0 577 <child>
ian@0 578 <widget class="GtkTreeView" id="treeview2">
ian@0 579 <property name="visible">True</property>
ian@0 580 <property name="can_focus">True</property>
ian@0 581 <property name="has_focus">True</property>
ian@0 582 <property name="headers_visible">True</property>
ian@0 583 <property name="rules_hint">False</property>
ian@0 584 <property name="reorderable">False</property>
ian@0 585 <property name="enable_search">True</property>
ian@0 586 <signal name="cursor_changed" handler="on_treeview2_cursor_changed" last_modification_time="Sun, 12 Jan 2003 15:57:55 GMT"/>
ian@0 587 <signal name="button_press_event" handler="on_treeview2_button_press_event" last_modification_time="Sun, 12 Jan 2003 15:57:58 GMT"/>
ian@0 588 <signal name="key_press_event" handler="on_treeview2_key_press_event" last_modification_time="Sun, 12 Jan 2003 15:58:01 GMT"/>
ian@0 589 </widget>
ian@0 590 </child>
ian@0 591 </widget>
ian@0 592 <packing>
ian@0 593 <property name="shrink">True</property>
ian@0 594 <property name="resize">False</property>
ian@0 595 </packing>
ian@0 596 </child>
ian@0 597
ian@0 598 <child>
ian@0 599 <widget class="GtkScrolledWindow" id="scrolledwindow3">
ian@0 600 <property name="visible">True</property>
ian@0 601 <property name="hscrollbar_policy">GTK_POLICY_NEVER</property>
ian@0 602 <property name="vscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
ian@0 603 <property name="shadow_type">GTK_SHADOW_IN</property>
ian@0 604 <property name="window_placement">GTK_CORNER_TOP_LEFT</property>
ian@0 605
ian@0 606 <child>
ian@0 607 <widget class="GtkTextView" id="textview3">
ian@0 608 <property name="visible">True</property>
ian@0 609 <property name="can_focus">True</property>
ian@0 610 <property name="editable">False</property>
ian@0 611 <property name="overwrite">False</property>
ian@0 612 <property name="accepts_tab">True</property>
ian@0 613 <property name="justification">GTK_JUSTIFY_LEFT</property>
ian@0 614 <property name="wrap_mode">GTK_WRAP_WORD</property>
ian@0 615 <property name="cursor_visible">True</property>
ian@0 616 <property name="pixels_above_lines">0</property>
ian@0 617 <property name="pixels_below_lines">0</property>
ian@0 618 <property name="pixels_inside_wrap">0</property>
ian@0 619 <property name="left_margin">0</property>
ian@0 620 <property name="right_margin">0</property>
ian@0 621 <property name="indent">0</property>
ian@0 622 <property name="text" translatable="yes">Sorry, no help available for this option yet.</property>
ian@0 623 </widget>
ian@0 624 </child>
ian@0 625 </widget>
ian@0 626 <packing>
ian@0 627 <property name="shrink">True</property>
ian@0 628 <property name="resize">True</property>
ian@0 629 </packing>
ian@0 630 </child>
ian@0 631 </widget>
ian@0 632 <packing>
ian@0 633 <property name="shrink">True</property>
ian@0 634 <property name="resize">True</property>
ian@0 635 </packing>
ian@0 636 </child>
ian@0 637 </widget>
ian@0 638 <packing>
ian@0 639 <property name="padding">0</property>
ian@0 640 <property name="expand">True</property>
ian@0 641 <property name="fill">True</property>
ian@0 642 </packing>
ian@0 643 </child>
ian@0 644 </widget>
ian@0 645 </child>
ian@0 646 </widget>
ian@0 647
ian@0 648 </glade-interface>