add border to level list box for bullets and numbering
this is like it was pre ui conversion Change-Id: Ie0fe230893dc448531a44c6d79c00b4a29120cba
This commit is contained in:
parent
efa35b2b11
commit
2fd90ea3e2
2 changed files with 2 additions and 2 deletions
|
@ -64,7 +64,7 @@
|
|||
<property name="top_padding">6</property>
|
||||
<property name="left_padding">12</property>
|
||||
<child>
|
||||
<object class="GtkTreeView" id="levellb">
|
||||
<object class="GtkTreeView" id="levellb:border">
|
||||
<property name="visible">True</property>
|
||||
<property name="can_focus">True</property>
|
||||
<property name="headers_visible">False</property>
|
||||
|
|
|
@ -66,7 +66,7 @@
|
|||
<property name="top_padding">6</property>
|
||||
<property name="left_padding">12</property>
|
||||
<child>
|
||||
<object class="GtkTreeView" id="levellb">
|
||||
<object class="GtkTreeView" id="levellb:border">
|
||||
<property name="visible">True</property>
|
||||
<property name="can_focus">True</property>
|
||||
<property name="headers_visible">False</property>
|
||||
|
|
Loading…
Reference in a new issue