changeset 7186 | 013deb83086b |
parent 7108 | eaef11c0d039 |
parent 7167 | 0b3b306f129a |
child 7188 | 580cd247511e |
--- a/hedgewars/uWorld.pas Mon May 28 10:38:27 2012 +0200 +++ b/hedgewars/uWorld.pas Tue Jun 05 22:17:06 2012 +0200 @@ -213,8 +213,13 @@ procedure InitTouchInterface; begin {$IFDEF USE_TOUCH_INTERFACE} + //positioning of the buttons +{$IFDEF ANDROID} +buttonScale:= Android_JNI_getDensity()/cDefaultZoomLevel; +{$ELSE} buttonScale:= 1.5/cDefaultZoomLevel; +{$ENDIF} with JumpWidget do