branch | spacecampaign |
changeset 9382 | f1464fa10c0b |
parent 9377 | 48ab6dea8d2f |
child 9473 | a51a69094c24 |
9346:1245c7636380 | 9382:f1464fa10c0b |
---|---|
242 procedure InitTouchInterface; |
242 procedure InitTouchInterface; |
243 begin |
243 begin |
244 {$IFDEF USE_TOUCH_INTERFACE} |
244 {$IFDEF USE_TOUCH_INTERFACE} |
245 |
245 |
246 //positioning of the buttons |
246 //positioning of the buttons |
247 buttonScale:= mobileRecord.getScreenDPI()/cDefaultZoomLevel; |
247 buttonScale:= 1 / cDefaultZoomLevel; |
248 |
248 |
249 |
249 |
250 with JumpWidget do |
250 with JumpWidget do |
251 begin |
251 begin |
252 show:= true; |
252 show:= true; |