changeset 7278 | 000e4543f204 |
parent 7198 | 5debd5fe526e |
parent 7237 | 1bbe31e0d707 |
child 7286 | 068adc6948e3 |
--- a/hedgewars/uWorld.pas Tue Jun 12 17:20:27 2012 +0400 +++ b/hedgewars/uWorld.pas Sun Jun 24 20:31:26 2012 +0400 @@ -218,11 +218,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