Package org.praxislive.ide.pxr

Class EditorModes

java.lang.Object

org.praxislive.ide.pxr.EditorModes

public final class EditorModes
extends Object

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static enum	EditorModes.Configuration
static final class	EditorModes.Selector

Method Summary

Modifier and Type	Method	Description
EditorModes.Configuration	getActiveConfiguration()
static EditorModes	getDefault()
void	setActiveConfiguration(EditorModes.Configuration configuration)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Method Details

getActiveConfiguration

public EditorModes.Configuration getActiveConfiguration()

setActiveConfiguration

public void setActiveConfiguration(EditorModes.Configuration configuration)

getDefault

public static EditorModes getDefault()