changeset 9377 | 48ab6dea8d2f |
parent 9080 | 9b42757d7e71 |
child 9473 | a51a69094c24 |
--- a/hedgewars/uWorld.pas Fri Jul 26 00:37:56 2013 +0200 +++ b/hedgewars/uWorld.pas Fri Jul 26 23:02:25 2013 +0200 @@ -244,7 +244,7 @@ {$IFDEF USE_TOUCH_INTERFACE} //positioning of the buttons -buttonScale:= mobileRecord.getScreenDPI()/cDefaultZoomLevel; +buttonScale:= 1 / cDefaultZoomLevel; with JumpWidget do