diff options
author | Caolán McNamara <caolanm@redhat.com> | 2013-04-04 20:58:10 +0100 |
---|---|---|
committer | Caolán McNamara <caolanm@redhat.com> | 2013-04-04 20:59:45 +0100 |
commit | e910123eced2f303dcf4c58b5e79f1da3f02d29b (patch) | |
tree | e27277bed291661d971f128d15bac0f697f27b33 /cui/uiconfig/ui/insertplugin.ui | |
parent | a60233918c2e4ca7534091c73965e7f2155a15b5 (diff) |
make border property of multiline edit optional
Change-Id: Ideeda46baf3d96dd52a77b5d225df3c00153183e
Diffstat (limited to 'cui/uiconfig/ui/insertplugin.ui')
-rw-r--r-- | cui/uiconfig/ui/insertplugin.ui | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/cui/uiconfig/ui/insertplugin.ui b/cui/uiconfig/ui/insertplugin.ui index 194e71db5ec7..481c5d14e23e 100644 --- a/cui/uiconfig/ui/insertplugin.ui +++ b/cui/uiconfig/ui/insertplugin.ui @@ -109,7 +109,7 @@ <property name="vscrollbar_policy">always</property> <property name="shadow_type">in</property> <child> - <object class="GtkTextView" id="pluginoptions"> + <object class="GtkTextView" id="pluginoptions:border"> <property name="visible">True</property> <property name="can_focus">True</property> <property name="wrap_mode">char</property> |