[MonoDevelop] Rework of MD preferences of Syntax Hiliting option
Lluis Sanchez
lluis at ximian.com
Wed Feb 1 07:05:38 EST 2006
Issues:
* The "Elements" header label should be aligned with the list of
elements.
* There is an extra spacing between the language list and the
element list that is wrong.
* The Languages list should have its own header. The Enable Syntax
Highlighting checkbox should'n be the header.
* More spacing between the elements list and the buttons column is
needed.
* The scroll window of language list should use automatic
scrollbar management and show a shadow like the other list.
El mié, 01-02-2006 a las 00:01 -0800, Muthiah Annamalai escribió:
> Hello there!
> Jacob, Hemant & Lluis, sorry for the wrong url's misspeling names.
>
> I have another, newer screenshot of reworked preferences editor
> http://students.uta.edu/mx/mxa6471/mono/md_prefs.png
>
> The patch is attached here.
> Muthu
>
>
> Index: Extras/MonoDevelop.SourceEditor/EditorBindings.glade
> ===================================================================
> --- Extras/MonoDevelop.SourceEditor/EditorBindings.glade (revision
> 56373)
> +++ Extras/MonoDevelop.SourceEditor/EditorBindings.glade (working
> copy)
> @@ -1551,198 +1551,41 @@
> <property name="spacing">12</property>
>
> <child>
> - <widget class="GtkCheckButton" id="enableSyntaxHighlighting">
> - <property name="visible">True</property>
> - <property name="can_focus">True</property>
> - <property name="label" translatable="yes">Enable syntax
> highlighting</property>
> - <property name="use_underline">True</property>
> - <property name="relief">GTK_RELIEF_NORMAL</property>
> - <property name="focus_on_click">True</property>
> - <property name="active">False</property>
> - <property name="inconsistent">False</property>
> - <property name="draw_indicator">True</property>
> - <signal name="toggled" handler="OnHighlightingToggled"
> last_modification_time="Sat, 02 Apr 2005 17:17:08 GMT"/>
> - </widget>
> - <packing>
> - <property name="padding">0</property>
> - <property name="expand">False</property>
> - <property name="fill">False</property>
> - </packing>
> - </child>
> -
> - <child>
> <widget class="GtkVBox" id="childrenVBox">
> <property name="visible">True</property>
> <property name="homogeneous">False</property>
> <property name="spacing">6</property>
>
> <child>
> - <widget class="GtkComboBox" id="sourceLanguages">
> + <widget class="GtkHPaned" id="hpaned1">
> <property name="visible">True</property>
> - <signal name="changed" handler="OnLanguageSelected"
> last_modification_time="Sat, 02 Apr 2005 05:35:28 GMT"/>
> - </widget>
> - <packing>
> - <property name="padding">0</property>
> - <property name="expand">False</property>
> - <property name="fill">True</property>
> - </packing>
> - </child>
> + <property name="can_focus">True</property>
> + <property name="position">199</property>
>
> - <child>
> - <widget class="GtkLabel" id="label58">
> - <property name="visible">True</property>
> - <property name="label"
> translatable="yes"><b>Elements</b></property>
> - <property name="use_underline">False</property>
> - <property name="use_markup">True</property>
> - <property name="justify">GTK_JUSTIFY_LEFT</property>
> - <property name="wrap">False</property>
> - <property name="selectable">False</property>
> - <property name="xalign">0</property>
> - <property name="yalign">0.5</property>
> - <property name="xpad">0</property>
> - <property name="ypad">0</property>
> - </widget>
> - <packing>
> - <property name="padding">0</property>
> - <property name="expand">False</property>
> - <property name="fill">True</property>
> - </packing>
> - </child>
> -
> - <child>
> - <widget class="GtkHBox" id="hbox32">
> - <property name="visible">True</property>
> - <propert y name="homogeneous">False</property>
> - <property name="spacing">6</property>
> -
> <child>
> - <widget class="GtkScrolledWindow" id="scrolledwindow5">
> + <widget class="GtkHBox" id="hbox33">
> <property name="visible">True</property>
> - <property name="can_focus">True</property>
> - <property
> name="hscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
> - <property
> name="vscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
> - <property name="shadow_type">GTK_SHADOW_IN</property>
> - <property
> name="window_placement">GTK_CORNER_TOP_LEFT</property>
> -
> - <child>
> - <widget class="GtkTreeView" id="stylesTreeView">
> - <property name="visible">True</property>
> - <property name="can_focus">True</property>
> - <property name="headers_visible">False</property>
> - <property name="rules_hint">False</property>
> - <property name="reorderable">False</property>
> - <property name="enable_search">True</property>
> - </widget>
> - </child>
> - </widget>
> - <packing>
> - <property name="padding">0</property>
> - <property name="expand">True</property>
> - <property name="fill">True</property>
> - </packing>
> - </child>
> -
> - <child>
> - <widget class="GtkVBox" id="vbox62">
> - <property name="visible">True</property>
> <property name="homogeneous">False</property>
> - <property name="spacing">6</property>
> + <property name="spacing">0</property>
>
> <child>
> - <widget class="GtkToggleButton" id="boldToggle">
> + <widget class="GtkVBox" id="vbox67">
> <property name="visible">True</property>
> - <property name="can_focus">True</property>
> - <property name="label">gtk-bold</property>
> - <property name="use_stock">True</property>
> - <property name="relief">GTK_RELIEF_HALF</property>
> - <property name="focus_on_click">True</property>
> - <property name="active">False</property>
> - <property name="inconsistent">False</property>
> - <signal name="toggled" handler="OnButtonToggled"
> last_modification_time="Sat, 02 Apr 2005 17:18:07 GMT"/>
> - </widget>
> - <packing>
> - <property name="padding">0</property>
> - <property name="expand">False</property>
> - <property name="fill">False</property>
> - </packing>
> - </child>
> -
> - <child>
> - <widget class="GtkToggleButton" id="italicToggle">
> - <property name="visible">True</property>
> - <property name="can_focus">True</property>
> - <property name="label">gtk-italic</property>
> - <property name="use_stock">True</property>
> - <property name="relief">GTK_RELIEF_HALF</property>
> - <property name="focus_on_click">True</property>
> - <property name="active">False</property>
> - <property name="inconsistent">False</property>
> - <signal name="toggled" handler="OnButtonToggled"
> last_modification_time="Sat, 02 Apr 2005 17:18:23 GMT"/>
> - </widget>
> - <packing>
> - <property name="padding">0</property>
> - <property name="expand">False</property>
> - <property name="fill">False</property>
> - </packing>
> - </child>
> -
> - <child>
> - <widget class="GtkToggleButton" id="underlineToggle">
> - <property name="visible">True</property>
> - <property name="can_focus">True</property>
> - <property name="label">gtk-underline</property>
> - <property name="use_stock">True</property>
> - <property name="relief">GTK_RELIEF_HALF</property>
> - <property name="focus_on_click">True</property>
> - <property name="active">False</property>
> - <property name="inconsistent">False</property>
> - <signal name="toggled" handler="OnButtonToggled"
> last_modification_time="Sat, 02 Apr 2005 17:18:38 GMT"/>
> - </widget>
> - <packing>
> - <property name="padding">0</property>
> - <property name="expand">False</property>
> - <property name="fill">False</property>
> - </packing>
> - </child>
> -
> - <child>
> - <widget class="GtkToggleButton" id="strikeToggle">
> - <property name="visible">True</property>
> - <property name="can_focus">True</property>
> - <property name="label">gtk-strikethrough</property>
> - <property name="use_stock">True</property>
> - <property name="relief">GTK_RELIEF_HALF</property>
> - <property name="focus_on_click">True</property>
> - ; <property name="active">False</property>
> - <property name="inconsistent">False</property>
> - <signal name="toggled" handler="OnButtonToggled"
> last_modification_time="Sat, 02 Apr 2005 17:18:53 GMT"/>
> - </widget>
> - <packing>
> - <property name="padding">0</property>
> - <property name="expand">False</property>
> - <property name="fill">False</property>
> - ; </packing>
> - </child>
> -
> - <child>
> - <widget class="GtkVBox" id="vbox63">
> - <property name="visible">True</property>
> <property name="homogeneous">False</property>
> <property name="spacing">0</property>
>
> <child>
> - <widget class="GtkLabel" id="label59">
> + <widget class="GtkCheckButton"
> id="enableSyntaxHighlighting">
> <property name="visible">True</property>
> - <property name="label"
> translatable="yes">Color:</property>
> - <property name="use_underline">False</property>
> - <property name="use_markup">False</property>
> - <property name="justify">GTK_JUSTIFY_LEFT</property>
> - <property name="wrap">False</property>
> - <property name="selectable">False</property>
> - <property name="xalign">0</property>
> - <property name="yalign">0.5</property>
> - <property name="xpad">0</property>
> - <property name="ypad">0</property>
> + <property name="can_focus">True</property>
> + <property name="label" translatable="yes">Enable syntax
> highlighting</property>
> + <property name="use_underline">True</property>
> + <property name="relief">GTK_RELIEF_NORMAL</property>
> + &nbs p; <property name="focus_on_click">True</property>
> + <property name="active">False</property>
> + <property name="inconsistent">False</property>
> + <property name="draw_indicator">True</property>
> + <signal name="toggled" handler="OnHighlightingToggled"
> last_modification_time="Sat, 02 Apr 2005 17:17:08 GMT"/>
> </widget>
> <packing>
> <property name="padding">0</property>
> @@ -1752,80 +1595,369 @@
> </child>
>
> <child>
> - <widget class="GtkColorButton" id="fgColorButton">
> + <widget class="GtkScrolledWindow" id="scrolledwindow6">
> <property name="visible">True</property>
> <property name="can_focus">True</property>
> - <property name="use_alpha">False</property>
> - <property name="focus_on_click">True</property>
> - <signal name="color_set" handler="OnColorSet"
> last_modification_time="Sat, 02 Apr 2005 17:17:34 GMT"/>
> + <property
> name="hscrollbar_policy">GTK_POLICY_ALWAYS</property>
> + <property
> name="vscrollbar_policy">GTK_POLICY_ALWAYS</property>
> + <property name="shadow_type">GTK_SHADOW_NONE</property>
> + <property
> name="window_placement">GTK_CORNER_TOP_LEFT</property>
> +
> + <child>
> + <widget class="GtkTreeView" id="sourceLanguageList">
> + <property name="visible">True</property>
> + <property name="can_focus">True</property>
> + <property name="headers_visible">False</property>
> + <property name="rules_hint">True</property>
> + <property name="reorderable">False</property>
> + <property name="enable_search">True</property>
> + </widget>
> + &nbs p; </child>
> </widget>
> <packing>
> <property name="padding">0</property>
> - <property name="expand">False</property>
> - <property name="fill">False</property>
> + <property name="expand">True</property>
> + <property name="fill">True</property>
> </packing>
> </child> ;
> </widget>
> <packing>
> <property name="padding">0</property>
> - <property name="expand">False</property>
> - <property name="fill">False</property>
> + <property name="expand">True</property>
> + <property name="fill">True</property>
> </packing>
> </child>
> + </widget>
> + <packing>
> + <property name="shrink">True</property>
> + <property name="resize">False</property>
> + </packing>
> + </child>
>
> + <child>
> + <widget class="GtkFrame" id="frame2">
> + <property name="visible">True</property>
> + <property name="label_xalign">0</property>
> + <property name="label_yalign">0.5</property>
> + <property name="shadow_type">GTK_SHADOW_NONE</property>
> +
> <child>
> - <widget class="GtkVBox" id="vbox64">
> + <widget class="GtkAlignment" id="alignment2">
> <property name="visible">True</property>
> - <property name="homogeneous">False</property>
> - <property name="spacing">0</property>
> + <property name="xalign">0.5</property>
> + <property name="yalign">0.5</property>
> + <property name="xscale">1</property>
> + <property name="yscale">1</property>
> + <property name="top_padding">0</property>
> + <property name="bottom_padding">0</property>
> + <property name="left_padding">12</property>
> + <property name="right_padding">0</property>
>
> <child>
> - <widget class="GtkLabel" id="label60">
> + <widget class="GtkVBox" id="vbox65">
> <property name="visible">True</property>
> - <property name="label"
> translatable="yes">Background:</property>
> - <property name="use_underline">False</property>
> - <property name="use_markup">False</property>
> - <property name="justify">GTK_JUSTIFY_LEFT</property>
> - <property name="wrap">False</property>
> - <property name="selectable">False</property><
> br> - <property name="xalign">0</property>
> - <property name="yalign">0.5</property>
> - <property name="xpad">0</property>
> - <property name="ypad">0</property>
> - </widget>
> - <packing>
> - <property name="padding">0</property>
> - <property name="expand">False</property>
> - <property name="fill">False</property>
> - </packing>
> - </child>
> + <property name="homogeneous">False</property>
> + <property name="spacing">0</property>
>
> - <child>
> - <widget class="GtkColorButton" id="bgColorButton">
> - <property name="visible">True</property>
> - <property name="can_focus">True</property>
> - <property name="use_alpha">False</property>
> - <property name="focus_on_click">True</property>
> - <signal name="color_set" handler="OnColorSet"
> last_modification_time="Sat, 02 Apr 2005 17:17:48 GMT"/>
> + <child>
> + <widget class="GtkVBox" id="vbox66">
> + <property name="visible">True</property>
> + <property name="homogeneous">False</property>
> + <property name="spacing">0</property>
> +
> + <child>
> + <widget class="GtkHBox" id="hbox32">
> + <property name="visible">True</property>
> + <property name="homogeneous">False</property>
> + <property name="spacing">6</property>
> +
> + <child>
> + <widget class="GtkScrolledWindow"
> id="scrolledwindow5">
> + &nb sp; <property name="visible">True</property>
> + <property name="can_focus">True</property>
> + <property
> name="hscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
> + <property
> name="vscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
> + <property
> name="shadow_type">GTK_SHADOW_IN</property>
> + <prope rty
> name="window_placement">GTK_CORNER_TOP_LEFT</property>
> +
> + <child>
> + <widget class="GtkTreeView" id="stylesTreeView">
> + <property name="visible">True</property>
> + <property name="can_focus">True</property>
> + <property
> name="headers_visible">False</property>
> + <property name="rules_hint">False</property>
> + <property name="reorderable">False</property>
> + <property name="enable_search">True</property>
> + </widget>
> + </child>
> + </widget>
> + <packing>
> + <property name="padding">0</property>
> + <property name="expand">True</property>
> + <property name="fill">True</property>
> + </packing>
> + </child>
> +
> + <child>
> + <widget class="GtkVBox" id="vbox62">
> + <property name="visible">True</property>
> + <property name="homogeneous">False</property>
> + <property name="spacing">6</property>
> +
> + <child>
> + <widget class="GtkVBox" id="vbox68">
> + <property name="visible">True</property>
> + <property name="homogeneous">True</property>
> + & nbsp; <property name="spacing">0</property>
> +
> + <child>
> + <widget class="GtkButton"
> id="restoreDefaultButton">
> + <property name="visible">True</property>
> + <property name="sensitive">False</property>
> + <property name="can_focus">True</property>
> + <property name="label"
> translatable="yes">Restore default</property>
> + <property
> name="use_underline">True</property>
> + <property
> name="relief">GTK_RELIEF_NORMAL</property>
> + <property
> name="focus_on_click">True</property>
> + <signal name="clicked"
> handler="OnRestoreClicked" last_modification_time="Sat, 02 Apr 2005
> 06:54:14 GMT"/>
> + </widget>
> + <packing>
> + <property name="padding">0</property>
> + <property name="expand">True</property>
> + <property name="fill">True</property>
> + <property
> name="pack_type">GTK_PACK_END</property>
> + </packing>
> + </child>
> + </widget>
> + <packing>
> + <property name="padding">0</property>
> + <property name="expand">False</property>
> + <property name="fill">False</property>
> + <property
> name="pack_type">GTK_PACK_END</property>
> + </packing>
> + </child>
> +
> + <child>
> + <widget class="GtkToggleButton" id="boldToggle">
> + <property name="visible">True</property>
> + <property name="can_focus">True</property>
> + <property name="label">gtk-bold</property>
> + <property name="use_stock">True</property>
> + <property
> name="relief">GTK_RELIEF_HALF</property>
> + <property name="focus_on_click">True</property>
> + <property name="active">False</property>
> + <property name="inconsistent">False</property>
> + <signal name="toggled"
> handler="OnButtonToggled" last_modification_time="Sat, 02 Apr 2005
> 17:18:07 GMT"/>
> + </widget>
> + <packing>
> + <property name="padding">0</property>
> + <property name="expand">False</property>
> + ; <property name="fill">False</property>
> + </packing>
> + </child>
> +
> + <child>
> + <widget class="GtkToggleButton"
> id="italicToggle">
> + <property name="visible">True</property>
> + <property name="can_focus">True</property>
> + &n bsp; <property
> name="label">gtk-italic</property>
> + <property name="use_stock">True</property>
> + <property
> name="relief">GTK_RELIEF_HALF</property>
> + <property name="focus_on_click">True</property>
> + <property name="active">False</property>
> + <property name="inconsistent">False</property>
> + <signal name="toggled"
> handler="OnButtonToggled" last_modification_time="Sat, 02 Apr 2005
> 17:18:23 GMT"/>
> + </widget>
> + <packing>
> + <property name="padding">0</property>
> + <property name="expand">False</property>
> + <property name="fill">False</property>
> + </packing>
> + </child>
> +
> + <child>
> + <widget class="GtkToggleButton"
> id="underlineToggle">
> + <property name="visible">True</property>
> + <property name="can_focus">True</property>
> + <property name="label">gtk-underline</property>
> + <property name="use_stock">True</property>
> + <property
> name="relief">GTK_RELIEF_HALF</property>
> + <property name="focus_on_click">True</property>
> + <property name="active">False</property>
> + <property name="inconsistent">False</property>
> + <signal name="toggled"
> handler="OnButtonToggled" last_modification_time="Sat, 02 Apr 2005
> 17:18:38 GMT"/>
> + </widget>
> + <packing>
> + <property name="padding">0</property>
> + <property name="expand">False</property>
> + <property name="fill">False</property>
> + </packing>
> + </child>
> +
> + & nbsp; <child>
> + <widget class="GtkToggleButton"
> id="strikeToggle">
> + <property name="visible">True</property>
> + <property name="can_focus">True</property>
> + <property
> name="label">gtk-strikethrough</property>
> + <property name="use_stock">True</property>
> + <pr operty
> name="relief">GTK_RELIEF_HALF</property>
> + <property name="focus_on_click">True</property>
> + <property name="active">False</property>
> + <property name="inconsistent">False</property>
> + <signal name="toggled"
> handler="OnButtonToggled" last_modification_time="Sat, 02 Apr 2005
> 17:18:53 GMT"/>
> + </widget>
> + <packing >
> + <property name="padding">0</property>
> + <property name="expand">False</property>
> + <property name="fill">False</property>
> + </packing>
> + </child>
> +
> + <child>
> + <widget class="GtkVBox" id="vbox63">
> + <property name="visible">True</property>
> + <property name="homogeneous">False</property>
> + <property name="spacing">0</property>
> +
> + <child>
> + <widget class="GtkLabel" id="label59">
> + <property name="visible">True</property>
> + <property name="label"
> translatable="yes">Color:</property>
> + <property
> name="use_underline">False</property>
> + <property
> name="use_markup">False</property>
> + <property
> name="justify">GTK_JUSTIFY_LEFT</property>
> + <property name="wrap">False</property>
> + &nbs p; <property
> name="selectable">False</property>
> + <property name="xalign">0</property>
> + <property name="yalign">0.5</property>
> + <property name="xpad">0</property>
> + <property name="ypad">0</property>
> + </widget>
> + <packing>
> + <property name="padding">0</property>
> + <property name="expand">False</property>
> + <property name="fill">False</property>
> + </packing>
> + </child>
> +
> + <child>
> + <widget class="GtkColorButton"
> id="fgColorButton">
> + <property name="visible">True</property>
> + <property name="can_focus">True</property>
> + <property name="use_alpha">False</property>
> + <property
> name="focus_on_click">True</property>
> + <signal name="color_set"
> handler="OnColorSet" last_modification_time="Sat, 02 Apr 2005 17:17:34
> GMT"/>
> + </widget>
> + <packing>
> + <property name="padding">0</property>
> + <property name="expand">False</property>
> + <property name="fill">False</property>
> + </packing>
> + </child>
> + </widget>
> + <packing>
> + <property name="padding">0</property>
> + <property name="expand">False</property>
> + <property name="fill">False</property>
> + </packing>
> + </child>
> +
> + <child>
> + <widget class="GtkVBox" id="vbox64">
> + <property name="visible">True</property>
> + <property name="homogeneous">False</property>
> + & nbsp; <property name="spacing">0</property>
> +
> + <child>
> + <widget class="GtkLabel" id="label60">
> + <property name="visible">True</property>
> + <property name="label"
> translatable="yes">Background:</property>
> + <property
> name="use_underline">False</property>
> + &nb sp; <property
> name="use_markup">False</property>
> + <property
> name="justify">GTK_JUSTIFY_LEFT</property>
> + <property name="wrap">False</property>
> + <property
> name="selectable">False</property>
> + <property name="xalign">0</property>
> + <property name="yalign">0.5</property>
> + <property name="xpad">0</property>
> + <property name="ypad">0</property>
> + </widget>
> + <packing>
> + <property name="padding">0</property>
> + <property name="expand">False</property>
> + <property name="fill">False</property>
> + </packing>
> + </child>
> +
> + <child>
> + <widget class="GtkColorButton"
> id="bgColorButton">
> + <property name="visible">True</property>
> + <property name="can_focus">True</property>
> + <property name="use_alpha">False</property>
> + <property
> name="focus_on_click">True</property>
> + <signal name="color_set"
> handler="OnColorSet" last_modification_time="Sat, 02 Apr 2005 17:17:48
> GMT"/>
> + </widget>
> + <packing>
> + <property name="padding">0</property>
> + <property name="expand">False</property>
> + <property name="fill">False</property>
> + </packing>
> + </child>
> + &nbs p; </widget>
> + <packing>
> + <property name="padding">0</property>
> + <property name="expand">False</property>
> + <property name="fill">False</property>
> + </packing>
> + </child>
> + </widget>
> + <packing>
> + <property name="padding">0</property>
> + <property name="expand">False</property>
> + <property name="fill">False</property>
> + </packing>
> + </child>
> + </widget>
> + <packing>
> + <property name="padding">0</property>
> + <property name="expand">True</property>
> + <property name="fill">True</property>
> + </packing>
> + </child>
> + </widget>
> + <packing>
> + <property name="padding">0</property>
> + <property name="expand">True</property>
> + <property name="fill">True</property>
> + </packing>
> + </child>
> </widget>
> - <packing>
> - <property name="padding">0</property>
> - <property name="expand">False</property>
> - <propert y name="fill">False</property>
> - </packing>
> </child>
> </widget>
> + </child>
> +
> + <child>
> + <widget class="GtkLabel" id="label63">
> + <property name="visible">True</property>
> + <property name="label"
> translatable="yes"><b>Elements</b></property>
> + <property name="use_underline">False</property>
> + <property name="use_markup">True</property>
> + <property name="justify">GTK_JUSTIFY_LEFT</property>
> + <property name="wrap">False</property>
> + <property name="selectable">False</property>
> + <property name="xalign">0.5</property>
> + <property name="yalign">0.5</property>
> + <property name="xpad">0</property>
> + <property name="ypad">0</property>
> + </widget>
> <packing>
> - <property name="padding">0</property>
> - <property name="expand">False</property>
> - <property name="fill">False</property>
> + <property name="type">label_item</property>
> </packing>
> </child>
> </widget>
> <packing>
> - <property name="padding">0</property>
> - <property name="expand">False</property>
> - <property name="fill">False</property>
> + <property name="shrink">True</property>
> + <property name="resize">True</property>
> </packing>
> </child>
> </widget>
> @@ -1833,31 +1965,15 @@
> <property name="padding">0</property>
> <property name="expand">True</property>
> <property name="fill">True</property>
> + <property name="pack_type">GTK_PACK_END</property>
> </packing>
> </child>
> -
> - <child>
> - <widget class="GtkButton" id="restoreDefaultButton">
> - <property name="visible">True</property>
> - <property name="sensitive">False</property>
> - <property name="can_focus">True</property>
> - <property name="label" translatable="yes">Restore
> default</property>
> - <property name="use_underline">True</property>
> - <property name="relief">GTK_RELIEF_NORMAL</property>
> - <property name="focus_on_click">True</property>
> - <signal name="clicked" handler="OnRestoreClicked"
> last_modification_time="Sat, 02 Apr 2005 06:54:14 GMT"/>
> - </widget>
> - <packing>
> - <property name="padding">0</property>
> - <property name="expand">False</property>
> - <property name="fill">False</property>
> - </packing>
> - </child>
> </widget>
> <packing>
> <property name="padding">0</property>
> <property name="expand">True</property>
> <property name="fill">True</property>
> + <property name="pack_type">GTK_PACK_END</property>
> </packing>
> </child>
> </widget>
> Index:
> Extras/MonoDevelop.SourceEditor/MonoDevelop.SourceEditor.Gui.OptionPanels/SyntaxHighlightingPanel.cs
> ===================================================================
> ---
> Extras/MonoDevelop.SourceEditor/MonoDevelop.SourceEditor.Gui.OptionPanels/SyntaxHighlightingPanel.cs (revision 56373)
> +++
> Extras/MonoDevelop.SourceEditor/MonoDevelop.SourceEditor.Gui.OptionPanels/SyntaxHighlightingPanel.cs (working copy)
> @@ -32,7 +32,7 @@
> class SyntaxHighlightingPanelWidget : GladeWidgetExtract
> {
> [Glade.Widget] CheckButton enableSyntaxHighlighting;
> - [Glade.Widget] ComboBox sourceLanguages;
> + [Glade.Widget] Gtk.TreeView sourceLanguageList;
> [Glade.Widget] Gtk.TreeView stylesTreeView;
> [Glade.Widget] ToggleButton boldToggle;
> [Glade.Widget] ToggleButton italicToggle ;
> @@ -43,7 +43,7 @@
> [Glade.Widget] Button restoreDefaultButton;
> [Glade.Widget] VBox childrenVBox;
>
> - SourceViewService svs = (SourceViewService)
> ServiceManager.GetService (typeof (SourceViewService));
> + SourceViewService svs =
> (SourceViewService)ServiceManager.GetService (typeof
> (SourceViewService));
> SourceLanguage currentLanguage;
> SourceTagStyle currentStyle;
> string styleid;
> @@ -55,15 +55,20 @@
> // add available sourceLanguages
> ListStore store = new ListStore (typeof (string));
> foreach (SourceLanguage sl in svs.AvailableLanguages)
> + {
> store.AppendValues (sl.Name);
> + }
> store.SetSortColumnId (0, SortType.Ascending);
> - sourceLanguages.Model = store;
> + sourceLanguageList.Model = store;
> + ; sourceLanguageList.AppendColumn("Languages",new
> CellRendererText(),"text",0);
> + sourceLanguageList.Selection.Changed += new
> EventHandler (OnLanguageSelected);
>
> - CellRendererText cr = new CellRendererText ();
> - sourceLanguages.PackStart (cr, true);
> - sourceLanguages.AddAttribute (cr, "text", 0);
> - sourceLanguages.Active = 0;
> + //set Language List values
> + TreeIter first;
> + store.GetIterFirst (out first);
> + sourceLanguageList.Selection.SelectIter (first);
>
> +
> stylesTreeView.AppendColumn ("styles", new
> CellRendererText (), "text", 0);
> stylesTreeView.Selection.Changed += new EventHandler
> (OnStyleChanged);
> }
> @@ -102,6 +107,7 @@
> TreeIter first;
> store.GetIterFirst (out first);
> stylesTreeView.Selection.SelectIter (first);
> +
> }
>
> private void OnButtonToggled (object sender, EventArgs a)
> @@ -135,8 +141,11 @@
> private void OnLanguageSelected (object sender, EventArgs
> a)
> {
> TreeIter iter;
> - if (sourceLanguages.GetActiveIter (out iter)) {
> - SetCurrentLanguage ((string)
> sourceLanguages.Model.GetValue (iter, 0));
> + TreeModel model;
> + TreeSelection selection = sender as TreeSelection;
> +
> + if (selection.GetSelected (out model, out iter)) {
> + SetCurrentLanguage ((string) (string)
> model.GetValue (iter,0));
> }
> }
>
>
>
>
> ______________________________________________________________________
> Bring words and photos together (easily) with
> PhotoMail - it's free and works with Yahoo! Mail.
> _______________________________________________
> Monodevelop-list mailing list
> Monodevelop-list at lists.ximian.com
> http://lists.ximian.com/mailman/listinfo/monodevelop-list
More information about the Monodevelop-list
mailing list