upstream/wesnoth
1
0
Fork 0
mirror of https://github.com/wesnoth/wesnoth synced 2025-05-21 07:23:34 +00:00
Code Issues Packages Projects Releases Wiki Activity

Made the editor gui work better on low resolutions.

Browse Source 
No more empty space at 800x480.

Switched the order of row 3 and 4 of the tool buttons.
This commit is contained in:
Fabian Müller 2012-10-08 11:51:02 +00:00
parent 0da6f9be9c
commit 9526f9e3bf
1 changed files with 71 additions and 66 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

137
data/themes/editor.cfg
View File

@ -326,62 +326,14 @@
yanchor=fixed yanchor=fixed
[/menu] [/menu]
#3rd Row. #3th Row.
[menu]
id=undo_button_editor
ref=flood_button_editor
image=undo_button_editor
items=undo
auto_tooltip=yes
rect="=,+9,+24,+24"
xanchor=right
yanchor=fixed
[/menu]
[menu]
id=redo_button_editor
image=redo_button_editor
items=redo
auto_tooltip=yes
rect="+6,=,+24,+24"
xanchor=right
yanchor=fixed
[/menu]
[menu]
id=zoom_in_button_editor
image=zoom_in_button_editor
items=zoomin
auto_tooltip=yes
rect="+6,=,+24,+24"
xanchor=right
yanchor=fixed
[/menu]
[menu]
id=zoom_out_button_editor
image=zoom_out_button_editor
items=zoomout
auto_tooltip=yes
rect="+6,=,+24,+24"
xanchor=right
yanchor=fixed
[/menu]
[menu]
id=zoom_default_button_editor
image=zoom_default_button_editor
items=zoomdefault
auto_tooltip=yes
rect="+6,=,+24,+24"
xanchor=right
yanchor=fixed
[/menu]
#4th Row.
[menu] [menu]
id=resize_button_editor id=resize_button_editor
image=resize_button_editor image=resize_button_editor
items=editor-map-resize items=editor-map-resize
tooltip_name_prepend=yes tooltip_name_prepend=yes
ref=undo_button_editor ref=flood_button_editor
rect="=,+6,+24,+24" rect="=,+9,+24,+24"
xanchor=right xanchor=right
yanchor=fixed yanchor=fixed
[/menu] [/menu]
@ -426,6 +378,54 @@
yanchor=fixed yanchor=fixed
[/menu] [/menu]
#4rd Row.
[menu]
id=undo_button_editor
ref=resize_button_editor
image=undo_button_editor
items=undo
auto_tooltip=yes
rect="=,+6,+24,+24"
xanchor=right
yanchor=fixed
[/menu]
[menu]
id=redo_button_editor
image=redo_button_editor
items=redo
auto_tooltip=yes
rect="+6,=,+24,+24"
xanchor=right
yanchor=fixed
[/menu]
[menu]
id=zoom_in_button_editor
image=zoom_in_button_editor
items=zoomin
auto_tooltip=yes
rect="+6,=,+24,+24"
xanchor=right
yanchor=fixed
[/menu]
[menu]
id=zoom_out_button_editor
image=zoom_out_button_editor
items=zoomout
auto_tooltip=yes
rect="+6,=,+24,+24"
xanchor=right
yanchor=fixed
[/menu]
[menu]
id=zoom_default_button_editor
image=zoom_default_button_editor
items=zoomdefault
auto_tooltip=yes
rect="+6,=,+24,+24"
xanchor=right
yanchor=fixed
[/menu]
[brush_bar] [brush_bar]
id=brush-bar id=brush-bar
ref=bottom-right-panel ref=bottom-right-panel
@ -643,6 +643,11 @@
rect="=+10,=+7,=-7,+94" rect="=+10,=+7,=-7,+94"
[/change] [/change]
[change]
id=undo_button_editor
ref=flood_button_editor
[/change]
[remove] [remove]
id=resize_button_editor id=resize_button_editor
[/remove] [/remove]
@ -689,25 +694,25 @@
width=800 width=800
height=480 height=480
[remove] #[remove]
id=undo_button_editor # id=undo_button_editor
[/remove] #[/remove]
[remove] #[remove]
id=redo_button_editor # id=redo_button_editor
[/remove] #[/remove]
[remove] #[remove]
id=zoom_in_button_editor # id=zoom_in_button_editor
[/remove] #[/remove]
[remove] #[remove]
id=zoom_out_button_editor # id=zoom_out_button_editor
[/remove] #[/remove]
[remove] #[remove]
id=zoom_default_button_editor # id=zoom_default_button_editor
[/remove] #[/remove]
[/partialresolution] [/partialresolution]