- afterLoad
void afterLoad()
override to do something after loading - e.g. set defaults
- getBookmarks
EditorBookmark[] getBookmarks()
Undocumented in source. Be warned that the author may not have intended to support it.
- getBreakpoints
Breakpoint[] getBreakpoints()
Undocumented in source. Be warned that the author may not have intended to support it.
- 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)
- setBookmarks
void setBookmarks(EditorBookmark[] bps)
Undocumented in source. Be warned that the author may not have intended to support it.
- setBreakpoints
void setBreakpoints(Breakpoint[] bps)
Undocumented in source. Be warned that the author may not have intended to support it.
- 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)
- updateDefaults
void updateDefaults()
Undocumented in source. Be warned that the author may not have intended to support it.
local settings for workspace (not supposed to put under source control)