| changeset 9377 | 48ab6dea8d2f |
| parent 9080 | 9b42757d7e71 |
| child 9473 | a51a69094c24 |
| 9376:0405f5f4e7e0 | 9377:48ab6dea8d2f |
|---|---|
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; |