WorkspaceSettings

local settings for workspace (not supposed to put under source control)

class WorkspaceSettings : SettingsFile {

}

Members

afterLoad void afterLoad(): override to do something after loading - e.g. set defaults
getProjectBookmarks EditorBookmark[] getProjectBookmarks(string projectName, string projectFilePath): get all bookmarks for project (for specified source file only, if specified)
getProjectBreakpoints Breakpoint[] getProjectBreakpoints(string projectName, string projectFilePath): get all breakpoints for project (for specified source file only, if specified)
setProjectBookmarks void setProjectBookmarks(string projectName, string projectFilePath, EditorBookmark[] bps): get all bookmarks for project (for specified source file only, if specified)
setProjectBreakpoints void setProjectBreakpoints(string projectName, string projectFilePath, Breakpoint[] bps): get all breakpoints for project (for specified source file only, if specified)

expandedItems string[] expandedItems [@property getter]: list of expanded workspace explorer items
expandedItems string[] expandedItems [@property setter]: update list of expanded workspace explorer items
files WorkspaceFile[] files [@property getter]: Last opened files in workspace
files WorkspaceFile[] files [@property setter]: Last opened files in workspace
selectedWorkspaceItem string selectedWorkspaceItem [@property getter]: last selected workspace item in workspace explorer
selectedWorkspaceItem string selectedWorkspaceItem [@property setter]: update last selected workspace item in workspace explorer