diff options
| author | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2001-06-17 23:26:42 +0000 |
|---|---|---|
| committer | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2001-06-17 23:26:42 +0000 |
| commit | bc16933137bc0fe0147ccfd7121b35144da0eabb (patch) | |
| tree | 4d088a75e9a7d72c90f6f680d9bc3f55f55b0fda /mixgtk | |
| parent | 01b08160d25b3a9f70a7293cd21d6709163047cc (diff) | |
| download | mdk-bc16933137bc0fe0147ccfd7121b35144da0eabb.tar.gz mdk-bc16933137bc0fe0147ccfd7121b35144da0eabb.tar.bz2 | |
minor change
Diffstat (limited to 'mixgtk')
| -rw-r--r-- | mixgtk/mixgtk.glade | 106 |
1 files changed, 50 insertions, 56 deletions
diff --git a/mixgtk/mixgtk.glade b/mixgtk/mixgtk.glade index 23739d2..8bb2211 100644 --- a/mixgtk/mixgtk.glade +++ b/mixgtk/mixgtk.glade @@ -357,7 +357,7 @@ </signal> <label>Save on _exit</label> <active>False</active> - <always_show_toggle>False</always_show_toggle> + <always_show_toggle>True</always_show_toggle> </widget> </widget> </widget> @@ -1123,66 +1123,60 @@ </widget> <widget> - <class>GtkEventBox</class> - <name>mixal_eventbox</name> - <events>GDK_POINTER_MOTION_MASK</events> + <class>GtkScrolledWindow</class> + <name>mixal_scrol</name> + <hscrollbar_policy>GTK_POLICY_AUTOMATIC</hscrollbar_policy> + <vscrollbar_policy>GTK_POLICY_AUTOMATIC</vscrollbar_policy> + <hupdate_policy>GTK_UPDATE_CONTINUOUS</hupdate_policy> + <vupdate_policy>GTK_UPDATE_CONTINUOUS</vupdate_policy> <widget> - <class>GtkScrolledWindow</class> - <name>mixal_scrol</name> - <hscrollbar_policy>GTK_POLICY_AUTOMATIC</hscrollbar_policy> - <vscrollbar_policy>GTK_POLICY_AUTOMATIC</vscrollbar_policy> - <hupdate_policy>GTK_UPDATE_CONTINUOUS</hupdate_policy> - <vupdate_policy>GTK_UPDATE_CONTINUOUS</vupdate_policy> + <class>GtkCList</class> + <name>mixal_clist</name> + <tooltip>Click to toggle breakpoint</tooltip> + <can_focus>True</can_focus> + <events>GDK_POINTER_MOTION_MASK</events> + <signal> + <name>select_row</name> + <handler>on_mixal_select_row</handler> + <after>True</after> + <last_modification_time>Sun, 11 Mar 2001 01:15:28 GMT</last_modification_time> + </signal> + <signal> + <name>motion_notify_event</name> + <handler>on_mixal_motion_notify_event</handler> + <last_modification_time>Sun, 17 Jun 2001 19:44:48 GMT</last_modification_time> + </signal> + <columns>2</columns> + <column_widths>152,80</column_widths> + <selection_mode>GTK_SELECTION_SINGLE</selection_mode> + <show_titles>True</show_titles> + <shadow_type>GTK_SHADOW_IN</shadow_type> <widget> - <class>GtkCList</class> - <name>mixal_clist</name> - <tooltip>Click to toggle breakpoint</tooltip> - <can_focus>True</can_focus> - <events>GDK_POINTER_MOTION_MASK</events> - <signal> - <name>select_row</name> - <handler>on_mixal_select_row</handler> - <after>True</after> - <last_modification_time>Sun, 11 Mar 2001 01:15:28 GMT</last_modification_time> - </signal> - <signal> - <name>motion_notify_event</name> - <handler>on_mixal_motion_notify_event</handler> - <last_modification_time>Sun, 17 Jun 2001 19:44:48 GMT</last_modification_time> - </signal> - <columns>2</columns> - <column_widths>152,80</column_widths> - <selection_mode>GTK_SELECTION_SINGLE</selection_mode> - <show_titles>True</show_titles> - <shadow_type>GTK_SHADOW_IN</shadow_type> - - <widget> - <class>GtkLabel</class> - <child_name>CList:title</child_name> - <name>label213</name> - <label>memory</label> - <justify>GTK_JUSTIFY_CENTER</justify> - <wrap>False</wrap> - <xalign>0.5</xalign> - <yalign>0.5</yalign> - <xpad>0</xpad> - <ypad>0</ypad> - </widget> + <class>GtkLabel</class> + <child_name>CList:title</child_name> + <name>label213</name> + <label>memory</label> + <justify>GTK_JUSTIFY_CENTER</justify> + <wrap>False</wrap> + <xalign>0.5</xalign> + <yalign>0.5</yalign> + <xpad>0</xpad> + <ypad>0</ypad> + </widget> - <widget> - <class>GtkLabel</class> - <child_name>CList:title</child_name> - <name>label214</name> - <label>source</label> - <justify>GTK_JUSTIFY_CENTER</justify> - <wrap>False</wrap> - <xalign>0.5</xalign> - <yalign>0.5</yalign> - <xpad>0</xpad> - <ypad>0</ypad> - </widget> + <widget> + <class>GtkLabel</class> + <child_name>CList:title</child_name> + <name>label214</name> + <label>source</label> + <justify>GTK_JUSTIFY_CENTER</justify> + <wrap>False</wrap> + <xalign>0.5</xalign> + <yalign>0.5</yalign> + <xpad>0</xpad> + <ypad>0</ypad> </widget> </widget> </widget> |