Add displayMode options in gcharts for geo_chart

gaetan-sumup · Feb 16, 2012 · ec96844 · ec96844 · akoprow · Feb 22, 2012
1 parent e69e133
commit ec96844
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/stdlib/tools/gcharts/gcharts.opa b/stdlib/tools/gcharts/gcharts.opa
@@ -189,6 +189,7 @@ type GCharts.option =
   / { series : list((int, list(GCharts.series_option))) } // (Affected series, options)
 
   / { legend : {left}/{right}/{top}/{bottom}/{in}/{none} }
+  / { display_mode : {markers}/{none} }
   / { region : GCharts.region }
   / { is_stacked : bool }
 
@@ -352,6 +353,10 @@ type GCharts.option =
           | {bottom} -> ({String="bottom"})
           | {in}     -> ({String="in"})
           | {none}   -> ({String="none"}))
+      | ~{display_mode} ->
+        ("displayMode", match display_mode with
+          | {markers}   -> ({String="markers"})
+          | {none}   -> ({String="none"}))
       | ~{region} ->
         ("region", match region with
           | {World} -> ({String="World"})