0ct0pu5/wesnoth
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Adds another separator between the editor tool buttons.

Browse source
This commit is contained in:
fendrin 2013-05-20 09:02:26 +02:00
parent 3440218c0f
commit ebfc3fdcc8
1 changed files with 8 additions and 8 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

16
data/themes/editor.cfg
View file

@ -196,7 +196,6 @@
items=editor-map-load
#type=
image=button_square/button_square_30
#tooltip= _ ""
auto_tooltip=yes
tooltip_name_prepend=yes
ref=replay-panel
@ -207,7 +206,6 @@
[action]
id=top_button_file2
items=editor-map-save
#type=
image=button_square/button_square_30
#tooltip= _ ""
auto_tooltip=yes
@ -227,9 +225,7 @@
[action]
id=top_button_undo1
items=editor-partial-undo
#type=
image=button_square/button_square_30
#tooltip= _ ""
auto_tooltip=yes
tooltip_name_prepend=yes
rect="+1,=,+30,+30"
@ -239,9 +235,7 @@
[action]
id=top_button_undo2
items=undo
#type=
image=button_square/button_square_30
#tooltip= _ ""
auto_tooltip=yes
tooltip_name_prepend=yes
tooltip_name_prepend=yes
@ -252,9 +246,7 @@
[action]
id=top_button_undo3
items=redo
#type=
image=button_square/button_square_30
#tooltip= _ ""
auto_tooltip=yes
tooltip_name_prepend=yes
rect="+1,=,+30,+30"
@ -481,6 +473,14 @@
xanchor=right
yanchor=fixed
[/action]
[panel]
id=top_separator4
# image=themes/editor/classic/menubar_rightside.png
# ref=replay-panel
rect="=-11,=,+10,+27"
xanchor=fixed
yanchor=fixed
[/panel]
[menu]
id=switch_time
items=editor-switch-time, menu-editor-schedule