@@ -262,57 +262,46 @@ type Config() =
262
262
) =
263
263
fun ( config : Config ) ->
264
264
265
- StaticPlot |> DynObj.setOptionalProperty config " staticPlot"
266
- TypesetMath |> DynObj.setOptionalProperty config " typesetMath"
267
- PlotlyServerUrl |> DynObj.setOptionalProperty config " plotlyServerUrl"
268
- Editable |> DynObj.setOptionalProperty config " editable"
269
- Edits |> DynObj.setOptionalProperty config " edits"
270
- EditSelection |> DynObj.setOptionalProperty config " editSelection"
271
- Autosizable |> DynObj.setOptionalProperty config " autosizable"
272
- Responsive |> DynObj.setOptionalProperty config " responsive"
273
- FillFrame |> DynObj.setOptionalProperty config " fillFrame"
274
- FrameMargins |> DynObj.setOptionalProperty config " frameMargins"
275
- ScrollZoom |> DynObj.setOptionalPropertyBy config " scrollZoom" StyleParam.ScrollZoom.convert
276
- DoubleClick |> DynObj.setOptionalPropertyBy config " doubleClick" StyleParam.DoubleClick.convert
277
- DoubleClickDelay |> DynObj.setOptionalProperty config " doubleClickDelay"
278
- ShowAxisDragHandles |> DynObj.setOptionalProperty config " showAxisDragHandles"
279
- ShowAxisRangeEntryBoxes |> DynObj.setOptionalProperty config " showAxisRangeEntryBoxes"
280
- ShowTips |> DynObj.setOptionalProperty config " showTips"
281
- ShowLink |> DynObj.setOptionalProperty config " showLink"
282
- LinkText |> DynObj.setOptionalProperty config " linkText"
283
- SendData |> DynObj.setOptionalProperty config " sendData"
284
- ShowSources |> DynObj.setOptionalProperty config " showSources"
285
- DisplayModeBar |> DynObj.setOptionalProperty config " displayModeBar"
286
- ShowSendToCloud |> DynObj.setOptionalProperty config " showSendToCloud"
287
- ShowEditInChartStudio |> DynObj.setOptionalProperty config " showEditInChartStudio"
288
-
289
- ModeBarButtonsToRemove
290
- |> DynObj.setOptionalPropertyBy config " modeBarButtonsToRemove" ( fun x ->
291
- x |> Seq.map StyleParam.ModeBarButton.toString)
292
-
293
- ModeBarButtonsToAdd
294
- |> DynObj.setOptionalPropertyBy config " modeBarButtonsToAdd" ( fun x ->
295
- x |> Seq.map StyleParam.ModeBarButton.toString)
296
-
297
- ModeBarButtons
298
- |> DynObj.setOptionalPropertyBy config " modeBarButtons" ( fun x ->
299
- x |> Seq.map ( Seq.map StyleParam.ModeBarButton.toString))
300
-
301
- ToImageButtonOptions |> DynObj.setOptionalProperty config " toImageButtonOptions"
302
- Displaylogo |> DynObj.setOptionalProperty config " displaylogo"
303
- Watermark |> DynObj.setOptionalProperty config " watermark"
304
- plotGlPixelRatio |> DynObj.setOptionalProperty config " plotGlPixelRatio"
305
- SetBackground |> DynObj.setOptionalProperty config " setBackground"
306
- TopojsonURL |> DynObj.setOptionalProperty config " topojsonURL"
307
- MapboxAccessToken |> DynObj.setOptionalProperty config " mapboxAccessToken"
308
- Logging |> DynObj.setOptionalProperty config " logging"
309
- NotifyOnLogging |> DynObj.setOptionalProperty config " notifyOnLogging"
310
- QueueLength |> DynObj.setOptionalProperty config " queueLength"
311
- GlobalTransforms |> DynObj.setOptionalProperty config " globalTransforms"
312
- Locale |> DynObj.setOptionalProperty config " locale"
313
- Locales |> DynObj.setOptionalProperty config " locales"
314
-
315
265
config
266
+ |> DynObj.withOptionalProperty " staticPlot" StaticPlot
267
+ |> DynObj.withOptionalProperty " typesetMath" TypesetMath
268
+ |> DynObj.withOptionalProperty " plotlyServerUrl" PlotlyServerUrl
269
+ |> DynObj.withOptionalProperty " editable" Editable
270
+ |> DynObj.withOptionalProperty " edits" Edits
271
+ |> DynObj.withOptionalProperty " editSelection" EditSelection
272
+ |> DynObj.withOptionalProperty " autosizable" Autosizable
273
+ |> DynObj.withOptionalProperty " responsive" Responsive
274
+ |> DynObj.withOptionalProperty " fillFrame" FillFrame
275
+ |> DynObj.withOptionalProperty " frameMargins" FrameMargins
276
+ |> DynObj.withOptionalPropertyBy " scrollZoom" ScrollZoom StyleParam.ScrollZoom.convert
277
+ |> DynObj.withOptionalPropertyBy " doubleClick" DoubleClick StyleParam.DoubleClick.convert
278
+ |> DynObj.withOptionalProperty " doubleClickDelay" DoubleClickDelay
279
+ |> DynObj.withOptionalProperty " showAxisDragHandles" ShowAxisDragHandles
280
+ |> DynObj.withOptionalProperty " showAxisRangeEntryBoxes" ShowAxisRangeEntryBoxes
281
+ |> DynObj.withOptionalProperty " showTips" ShowTips
282
+ |> DynObj.withOptionalProperty " showLink" ShowLink
283
+ |> DynObj.withOptionalProperty " linkText" LinkText
284
+ |> DynObj.withOptionalProperty " sendData" SendData
285
+ |> DynObj.withOptionalProperty " showSources" ShowSources
286
+ |> DynObj.withOptionalProperty " displayModeBar" DisplayModeBar
287
+ |> DynObj.withOptionalProperty " showSendToCloud" ShowSendToCloud
288
+ |> DynObj.withOptionalProperty " showEditInChartStudio" ShowEditInChartStudio
289
+ |> DynObj.withOptionalPropertyBy " modeBarButtonsToRemove" ModeBarButtonsToRemove ( fun x -> x |> Seq.map StyleParam.ModeBarButton.toString)
290
+ |> DynObj.withOptionalPropertyBy " modeBarButtonsToAdd" ModeBarButtonsToAdd ( fun x -> x |> Seq.map StyleParam.ModeBarButton.toString)
291
+ |> DynObj.withOptionalPropertyBy " modeBarButtons" ModeBarButtons ( fun x -> x |> Seq.map ( Seq.map StyleParam.ModeBarButton.toString))
292
+ |> DynObj.withOptionalProperty " toImageButtonOptions" ToImageButtonOptions
293
+ |> DynObj.withOptionalProperty " displaylogo" Displaylogo
294
+ |> DynObj.withOptionalProperty " watermark" Watermark
295
+ |> DynObj.withOptionalProperty " plotGlPixelRatio" plotGlPixelRatio
296
+ |> DynObj.withOptionalProperty " setBackground" SetBackground
297
+ |> DynObj.withOptionalProperty " topojsonURL" TopojsonURL
298
+ |> DynObj.withOptionalProperty " mapboxAccessToken" MapboxAccessToken
299
+ |> DynObj.withOptionalProperty " logging" Logging
300
+ |> DynObj.withOptionalProperty " notifyOnLogging" NotifyOnLogging
301
+ |> DynObj.withOptionalProperty " queueLength" QueueLength
302
+ |> DynObj.withOptionalProperty " globalTransforms" GlobalTransforms
303
+ |> DynObj.withOptionalProperty " locale" Locale
304
+ |> DynObj.withOptionalProperty " locales" Locales
316
305
317
306
/// <summary>
318
307
/// Combines two Config objects.
0 commit comments