changeset 7237 | 1bbe31e0d707 |
parent 7189 | c45b0ef1eb4c |
child 7278 | 000e4543f204 |
child 7288 | 5d0704f23a2a |
child 7343 | ddb196c41387 |
--- a/hedgewars/uWorld.pas Wed Jun 13 11:18:30 2012 -0400 +++ b/hedgewars/uWorld.pas Wed Jun 13 23:25:15 2012 +0200 @@ -216,11 +216,7 @@ {$IFDEF USE_TOUCH_INTERFACE} //positioning of the buttons -{$IFDEF ANDROID} -buttonScale:= Android_JNI_getDensity()/cDefaultZoomLevel; -{$ELSE} -buttonScale:= 1.5/cDefaultZoomLevel; -{$ENDIF} +buttonScale:= uMobile.getScreenDPI/cDefaultZoomLevel; with JumpWidget do