pub fn default_explorer_width_value() -> ExplorerWidth
Public default used by the workspace state deserializer.