From 1dc5bc157be770a69dffd413eb40e0388966206e Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Tomasz=20=C5=9Aniatowski?= Date: Fri, 21 Nov 2008 18:39:42 +0100 Subject: [PATCH] workaround for gui2 limitation causing bug#12545... ...make the slider wider than necessary to ensure all values are reachable --- data/gui/default/window/editor_new_map.cfg | 4 ++-- data/gui/default/window/editor_resize_map.cfg | 4 ++-- 2 files changed, 4 insertions(+), 4 deletions(-) diff --git a/data/gui/default/window/editor_new_map.cfg b/data/gui/default/window/editor_new_map.cfg index 075dc40466a..1e94b4f4c53 100644 --- a/data/gui/default/window/editor_new_map.cfg +++ b/data/gui/default/window/editor_new_map.cfg @@ -54,7 +54,7 @@ [slider] id = "width" definition = "default" - best_slider_length = 200 + best_slider_length = 250 minimum_value = 1 maximum_value = 200 step_size = 1 @@ -81,7 +81,7 @@ [slider] id = "height" definition = "default" - best_slider_length = 200 + best_slider_length = 250 minimum_value = 1 maximum_value = 200 step_size = 1 diff --git a/data/gui/default/window/editor_resize_map.cfg b/data/gui/default/window/editor_resize_map.cfg index 868d1f81520..82f5fc1aa34 100644 --- a/data/gui/default/window/editor_resize_map.cfg +++ b/data/gui/default/window/editor_resize_map.cfg @@ -54,7 +54,7 @@ [slider] id = "width" definition = "default" - best_slider_length = 200 + best_slider_length = 250 minimum_value = 1 maximum_value = 200 step_size = 1 @@ -103,7 +103,7 @@ [slider] id = "height" definition = "default" - best_slider_length = 200 + best_slider_length = 250 minimum_value = 1 maximum_value = 200 step_size = 1