1
0

gconf.glade 24 KB

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