diff options
author | RĂ©mi Verschelde <rverschelde@gmail.com> | 2019-09-20 23:14:50 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-09-20 23:14:50 +0200 |
commit | f7cd50e900593e1e904a30124d4c6b622b878c22 (patch) | |
tree | 8d90077a1847336a3c77f24b542160d68ab3b865 /doc | |
parent | 25a1bfed5c56880cba009f0d5fbc3e1a182e07b1 (diff) | |
parent | 40a5de97e6e33d7ff82f050ce3f1a580e43868b2 (diff) |
Merge pull request #32206 from Calinou/remove-unused-tree-constants
Remove an unused icon and constant in Tree
Diffstat (limited to 'doc')
-rw-r--r-- | doc/classes/Tree.xml | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/doc/classes/Tree.xml b/doc/classes/Tree.xml index 51d56c758e..82f948c54d 100644 --- a/doc/classes/Tree.xml +++ b/doc/classes/Tree.xml @@ -403,8 +403,6 @@ </theme_item> <theme_item name="guide_color" type="Color" default="Color( 0, 0, 0, 0.1 )"> </theme_item> - <theme_item name="guide_width" type="int" default="2"> - </theme_item> <theme_item name="hseparation" type="int" default="4"> </theme_item> <theme_item name="item_margin" type="int" default="12"> |