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