This is a temporary archive of the Deephaven documentation. For latest documentation please see https://deephaven.io/.
Skip to main content
Version: Python

Web Defaults

You can configure default settings for the Web UI using the Deephaven configuration file. See Create a Deephaven configuration file for details.

To configure a default setting:

  1. Set the value of a config property in the configuration file.
  2. Add the property name to client.configuration.list. This is a comma-separated list of property names that the Web UI will recognize and use for configuration. You can find the default list in the dh-defaults.prop file (line 68).

For example:

# Add `timeZone` and `dateTimeFormat` properties to the list.
client.configuration.list=timeZone,dateTimeFormat,java.version,deephaven.version,barrage.version,groovy.version,python.version,http.session.durationMs,file.separator,web.storage.layout.directory,web.storage.notebook.directory,web.webgl,web.webgl.editable,web.flattenViewports

# Define default values for the properties
timeZone=America/Chicago
dateTimeFormat=yyyy-MM-dd HH:mm:ss

Configuration properties correspond to UI fields in the Settings UI.

UI Settings Panel

Default format and time zone properties

LabelFieldServer prop
Time zoneSelecttimeZone
DateTimeSelectdateTimeFormat
Show time zone in datesshowTimeZone
Show 'T' separatorshowTSeparator
DecimalInputdecimalFormat
IntegerInputintegerFormat
Show truncated numbers as ###truncateNumbersWithPound
StringShow empty strings as emptyshowEmptyStrings
Show null strings as nullshowNullStrings
RollupShow extra "group" columnshowExtraGroupColumn

Advanced properties

FieldServer prop (value)Server prop (editable)
Enable WebGLweb.webglweb.webgl.editable