src/gtk/gui/gui_help_base.zog

   1 <entity name=box>
   2   <scrolled_window name=wscroll width="" height="" border_width="" hscrollbar_policy="`AUTOMATIC" vscrollbar_policy="`AUTOMATIC" placement="`TOP_LEFT" tab_label="" expand="false" fill="true" padding="">
   3     <text name=wtext width="" height="" editable="false" word_wrap="true" line_wrap="true" tab_label="" expand="false" fill="true" padding="">
   4     </text>
   5   </scrolled_window>
   6 </entity>