diff options
| author | Vaclav Vancura <vaclav@vancura.org> | 2014-04-29 18:04:04 +0400 |
|---|---|---|
| committer | Vaclav Vancura <vaclav@vancura.org> | 2014-04-29 19:33:05 +0400 |
| commit | a09a595f0ec305c9f606234e006c6210356221aa (patch) | |
| tree | 6a6d38a2f3329f0b3adfe94ef3f02d84f1338a1d /extras | |
| parent | c06506d8e6f90caf24c9f4b8fcb7a07ce2d60190 (diff) | |
[Icons] [MonoDevelop.SourceEditor2] New text editor preferences icons:
* md-prefs-text-editor-general (previously md-text-editor, moved from MonoDevelop.Ide to MonoDevelop.SourceEditor2, used also in GtkSourceViewEditor)
* md-prefs-text-editor-behavior (previously md-text-editor-behavior, moved from MonoDevelop.Ide to MonoDevelop.SourceEditor2, used also in GtkSourceViewEditor)
* md-prefs-markers-rulers (previously md-markers-rulers, moved from MonoDevelop.Ide to MonoDevelop.SourceEditor2, used also in GtkSourceViewEditor)
* md-prefs-syntax-highlighting (previously md-syntax-highlighting, moved from MonoDevelop.Ide to MonoDevelop.SourceEditor2)
Diffstat (limited to 'extras')
| -rw-r--r-- | extras/GtkSourceViewEditor/MonoDevelop.SourceEditor.addin.xml | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/extras/GtkSourceViewEditor/MonoDevelop.SourceEditor.addin.xml b/extras/GtkSourceViewEditor/MonoDevelop.SourceEditor.addin.xml index 3fbbffd401..54b711c7a9 100644 --- a/extras/GtkSourceViewEditor/MonoDevelop.SourceEditor.addin.xml +++ b/extras/GtkSourceViewEditor/MonoDevelop.SourceEditor.addin.xml @@ -63,10 +63,10 @@ </Extension> <Extension path = "/MonoDevelop/Ide/GlobalOptionsDialog"> - <Section id = "GtkSourceViewTextEditor" _label = "GtkSourceView Text Editor"> - <Section id = "General" insertbefore="Formatting" _label = "General" icon="md-text-editor" fill="true" class = "MonoDevelop.SourceEditor.Gui.OptionPanels.GeneralTextEditorPanel"/> - <Section id = "Markers" _label = "Markers and Rulers" class = "MonoDevelop.SourceEditor.Gui.OptionPanels.MarkersTextEditorPanel"/> - <Section id = "Behavior" _label = "Behavior" class = "MonoDevelop.SourceEditor.Gui.OptionPanels.BehaviorTextEditorPanel"/> + <Section id="GtkSourceViewTextEditor" _label="GtkSourceView Text Editor"> + <Section id="General" insertbefore="Formatting" _label="General" fill="true" class="MonoDevelop.SourceEditor.Gui.OptionPanels.GeneralTextEditorPanel" icon="md-prefs-text-editor-general" /> + <Section id="Markers" _label="Markers and Rulers" class="MonoDevelop.SourceEditor.Gui.OptionPanels.MarkersTextEditorPanel" icon="md-prefs-markers-rulers" /> + <Section id="Behavior" _label="Behavior" class="MonoDevelop.SourceEditor.Gui.OptionPanels.BehaviorTextEditorPanel" icon="prefs-text-editor-behavior" /> </Section> </Extension> |