Mirrors_Framework/paparazzi
1
0
Fork 0
mirror of https://github.com/paparazzi/paparazzi.git synced 2026-06-08 02:15:53 +08:00
Code Issues Actions 27 Packages Projects Releases Wiki Activity

setting an adjustment with non-zero page size is deprecated

Browse Source
This commit is contained in:
Pascal Brisset
2008-12-04 08:34:47 +00:00
parent 19bae2c365
commit 4e8ab4b71d
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
sw/lib/ocaml/mapCanvas.ml
+1 -1
View File
@@ -200,7 +200,7 @@ class basic_widget = fun ?(height=800) ?width ?(projection = Mercator) ?georef (
val adj = GData.adjustment
~value:1. ~lower:0.005 ~upper:10.
~step_incr:0.25 ~page_incr:1.0 ~page_size:1.0 ()
~step_incr:0.25 ~page_incr:1.0 ~page_size:0. ()
method info = info