diff options
author | Thomas White <taw@bitwiz.me.uk> | 2018-04-29 21:11:05 +0200 |
---|---|---|
committer | Thomas White <taw@bitwiz.me.uk> | 2018-04-29 21:12:16 +0200 |
commit | 057aef8991cda68ca9a7e5457de869df004649d8 (patch) | |
tree | 4b671297d36c93008996119826230ca77fe0de9e /data/stylesheeteditor.ui | |
parent | 218529e7ccbcbb4174145f05a62e61a592ec2c30 (diff) |
Fix wrapping of storycode in stylesheet editor
Diffstat (limited to 'data/stylesheeteditor.ui')
-rw-r--r-- | data/stylesheeteditor.ui | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/data/stylesheeteditor.ui b/data/stylesheeteditor.ui index 07ea598..3e1bba3 100644 --- a/data/stylesheeteditor.ui +++ b/data/stylesheeteditor.ui @@ -384,6 +384,8 @@ <object class="GtkAlignment"> <property name="visible">True</property> <property name="can_focus">False</property> + <property name="left_padding">12</property> + <property name="right_padding">12</property> <child> <object class="GtkTextView" id="default_style_ss"> <property name="visible">True</property> @@ -391,8 +393,6 @@ <property name="margin_top">8</property> <property name="margin_bottom">8</property> <property name="wrap_mode">char</property> - <property name="left_margin">12</property> - <property name="right_margin">12</property> </object> </child> </object> @@ -760,6 +760,8 @@ <object class="GtkAlignment"> <property name="visible">True</property> <property name="can_focus">False</property> + <property name="left_padding">12</property> + <property name="right_padding">12</property> <child> <object class="GtkTextView"> <property name="visible">True</property> @@ -767,8 +769,6 @@ <property name="margin_top">8</property> <property name="margin_bottom">8</property> <property name="wrap_mode">char</property> - <property name="left_margin">12</property> - <property name="right_margin">12</property> </object> </child> </object> @@ -840,6 +840,8 @@ <object class="GtkAlignment"> <property name="visible">True</property> <property name="can_focus">False</property> + <property name="left_padding">12</property> + <property name="right_padding">12</property> <child> <object class="GtkTextView"> <property name="visible">True</property> @@ -847,8 +849,6 @@ <property name="margin_top">8</property> <property name="margin_bottom">8</property> <property name="wrap_mode">char</property> - <property name="left_margin">12</property> - <property name="right_margin">12</property> </object> </child> </object> |