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:
- Set the value of a config property in the configuration file.
- 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.
Default format and time zone properties
Label | Field | Server prop |
---|---|---|
Time zone | Select | timeZone |
DateTime | Select | dateTimeFormat |
Show time zone in dates | showTimeZone | |
Show 'T' separator | showTSeparator | |
Decimal | Input | decimalFormat |
Integer | Input | integerFormat |
Show truncated numbers as ### | truncateNumbersWithPound | |
String | Show empty strings as empty | showEmptyStrings |
Show null strings as null | showNullStrings | |
Rollup | Show extra "group" column | showExtraGroupColumn |
Advanced properties
Field | Server prop (value) | Server prop (editable) |
---|---|---|
Enable WebGL | web.webgl | web.webgl.editable |