PluginSettings

Returns the CourseFileManager instance corresponding to the given project. A new instance is created if no instance exists yet.

Returns a MainViewModel for a specific project.

Sets unset local IDE settings to their default values.

Registers a course project. This creates a main view model. It also starts the updater of the course project. Calling this method again with the same project has no effect.

Resets all local settings to their default values.

Sets a collapsible panel collapsed.

Sets a collapsible panel expanded.

Sets whether the REPL window should inform the user that a module for which the REPL is running has changed.

Method (setter) to set property, responsible for showing REPL configuration window.

Whether the REPL window should inform the user that a module for which the REPL is running has changed.

Method (getter) to check the property, responsible for showing REPL configuration window.

Unsets all the local IDE settings from LocalIdeSettingsNames.