Changed the size of the MapName button

This commit is contained in:
Damian
2017-09-06 06:34:34 +02:00
parent a83b039a29
commit c61facd709

View File

@@ -886,7 +886,7 @@ window "rpane"
is-vert = false is-vert = false
elem "github" elem "github"
type = BUTTON type = BUTTON
pos = 455,0 pos = 468,0
size = 60x16 size = 60x16
anchor1 = none anchor1 = none
anchor2 = none anchor2 = none
@@ -895,7 +895,7 @@ window "rpane"
command = "Github-Report" command = "Github-Report"
elem "special_button" elem "special_button"
type = BUTTON type = BUTTON
pos = 518,0 pos = 531,0
size = 60x16 size = 60x16
anchor1 = none anchor1 = none
anchor2 = none anchor2 = none
@@ -907,7 +907,7 @@ window "rpane"
elem "map" elem "map"
type = BUTTON type = BUTTON
pos = 386,0 pos = 386,0
size = 67x16 size = 80x16
anchor1 = none anchor1 = none
anchor2 = none anchor2 = none
saved-params = "is-checked" saved-params = "is-checked"