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

Change the editor general purpose buttons to press ones.

Browse source
This commit is contained in:
fendrin 2013-05-07 23:55:50 +02:00
parent 87b5f91ad1
commit 35293695c9
1 changed files with 4 additions and 4 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

8
data/themes/editor.cfg
View file

@ -765,7 +765,7 @@
[action]
id=tool-button11
items=editor-clipboard-flip-horizontal
type=radiobox
#type=radiobox
image=button_square/button_square_30
tooltip_name_prepend=yes
ref=tool-button6
@ -776,7 +776,7 @@
[action]
id=tool-button12
items=editor-clipboard-flip-vertical
type=radiobox
#type=radiobox
image=button_square/button_square_30
tooltip_name_prepend=yes
rect="+2,=,+30,+30"
@ -786,7 +786,7 @@
[action]
id=tool-button13
items=editor-clipboard-rotate-cw
type=radiobox
#type=radiobox
image=button_square/button_square_30
tooltip_name_prepend=yes
rect="+2,=,+30,+30"
@ -806,7 +806,7 @@
[action]
id=tool-button15
items=null
type=radiobox
#type=radiobox
image=button_square/button_square_30
rect="+2,=,+30,+30"
xanchor=right