changeset 7167 | 0b3b306f129a |
parent 7086 | e99944b25764 |
child 7180 | 53ffc8853008 |
child 7186 | 013deb83086b |
child 7187 | aff30d80bd7b |
--- a/hedgewars/uWorld.pas Sat Jun 02 16:25:13 2012 -0400 +++ b/hedgewars/uWorld.pas Sat Jun 02 22:31:41 2012 +0200 @@ -214,8 +214,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