| changeset 9431 | 0f5961910e27 |
| parent 9377 | 48ab6dea8d2f |
| child 9473 | a51a69094c24 |
| 9357:a501f5ec7b34 | 9431:0f5961910e27 |
|---|---|
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; |