changeset 8204 | 9a6030d96273 |
parent 8145 | 6408c0ba4ba1 |
child 8330 | aaefa587e277 |
child 8359 | 9a7024b2a4d3 |
--- a/hedgewars/uWorld.pas Mon Dec 03 17:49:02 2012 +0100 +++ b/hedgewars/uWorld.pas Mon Dec 03 17:51:57 2012 +0100 @@ -60,7 +60,6 @@ , uCaptions , uCursor , uCommands - , uMobile {$IFDEF USE_VIDEO_RECORDING} , uVideoRec {$ENDIF} @@ -246,7 +245,7 @@ {$IFDEF USE_TOUCH_INTERFACE} //positioning of the buttons -buttonScale:= uMobile.getScreenDPI/cDefaultZoomLevel; +buttonScale:= mobileRecord.getScreenDPI()/cDefaultZoomLevel; with JumpWidget do