equal
deleted
inserted
replaced
212 end; |
212 end; |
213 |
213 |
214 procedure InitTouchInterface; |
214 procedure InitTouchInterface; |
215 begin |
215 begin |
216 {$IFDEF USE_TOUCH_INTERFACE} |
216 {$IFDEF USE_TOUCH_INTERFACE} |
|
217 |
217 //positioning of the buttons |
218 //positioning of the buttons |
|
219 {$IFDEF ANDROID} |
|
220 buttonScale:= Android_JNI_getDensity()/cDefaultZoomLevel; |
|
221 {$ELSE} |
218 buttonScale:= 1.5/cDefaultZoomLevel; |
222 buttonScale:= 1.5/cDefaultZoomLevel; |
|
223 {$ENDIF} |
219 |
224 |
220 |
225 |
221 with JumpWidget do |
226 with JumpWidget do |
222 begin |
227 begin |
223 show:= true; |
228 show:= true; |