[gtksourceview] glade catalog: remove "common" in property tags
- From: Sébastien Wilmet <swilmet src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [gtksourceview] glade catalog: remove "common" in property tags
- Date: Sun, 7 Jul 2013 11:56:39 +0000 (UTC)
commit af8d95d2e68d571a7680d3267dfc704753114260
Author: Sébastien Wilmet <swilmet gnome org>
Date: Sun Jul 7 13:34:20 2013 +0200
glade catalog: remove "common" in property tags
"common: If set to "True", the property will end up on the common tab
even if its not a property of GtkWidgetClass."
The GtkSourceView properties have nothing to do in the common tab.
data/glade/gtksourceview.xml.in | 20 ++++++++++----------
1 files changed, 10 insertions(+), 10 deletions(-)
---
diff --git a/data/glade/gtksourceview.xml.in b/data/glade/gtksourceview.xml.in
index 24a5b42..ec67823 100644
--- a/data/glade/gtksourceview.xml.in
+++ b/data/glade/gtksourceview.xml.in
@@ -3,15 +3,15 @@
<glade-widget-classes>
<glade-widget-class name="GtkSourceView" _title="GtkSourceView" generic-name="gtksourceview">
<properties>
- <property id="auto-indent" common="True" default="True" />
- <property id="highlight-current-line" common="False" default="False" />
- <property id="indent-on-tab" common="False" default="False" />
- <property id="insert-spaces-instead-of-tabs" common="False" default="False" />
- <property id="right-margin-position" common="False" default="80" />
- <property id="show-line-marks" common="False" default="False" />
- <property id="show-line-numbers" common="False" default="False" />
- <property id="show-right-margin" common="False" default="False" />
- <property id="smart-home-end" common="True" default="Disabled">
+ <property id="auto-indent" default="True" />
+ <property id="highlight-current-line" default="False" />
+ <property id="indent-on-tab" default="False" />
+ <property id="insert-spaces-instead-of-tabs" default="False" />
+ <property id="right-margin-position" default="80" />
+ <property id="show-line-marks" default="False" />
+ <property id="show-line-numbers" default="False" />
+ <property id="show-right-margin" default="False" />
+ <property id="smart-home-end" default="Disabled">
<displayable-values>
<!-- Translators: It is related to an option of a set of values -->
<value id="GTK_SOURCE_SMART_HOME_END_DISABLED" _name="Disabled" />
@@ -20,7 +20,7 @@
<value id="GTK_SOURCE_SMART_HOME_END_ALWAYS" _name="Always" />
</displayable-values>
</property>
- <property id="tab-width" common="False" default="4" />
+ <property id="tab-width" default="4" />
<property id="draw-spaces">
<displayable-values>
<value id="GTK_SOURCE_DRAW_SPACES_SPACE" _name="Space" />
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]