java.lang.Object
org.gjt.sp.jedit.PerspectiveManager
Manages persistence of open buffers and views across jEdit sessions.
- Since:
- jEdit 4.2pre1
- Version:
- $Id: PerspectiveManager.java 25239 2020-04-14 20:00:17Z kpouer $
- Author:
- Slava Pestov
-
Constructor Summary
Constructors -
Method Summary
Modifier and TypeMethodDescriptionstatic booleanWe only autosave the perspective if it has changed, to avoid spinning up the disk on laptops.static booleanWe disable saving of the perspective while the 'close all' dialog is showing.static ViewloadPerspective(boolean restoreFiles) static voidsavePerspective(boolean autosave) static voidsetPerspectiveDirty(boolean dirty) We only autosave the perspective if it has changed, to avoid spinning up the disk on laptops.static voidsetPerspectiveEnabled(boolean enabled) We disable saving of the perspective while the 'close all' dialog is showing.
-
Constructor Details
-
PerspectiveManager
public PerspectiveManager()
-
-
Method Details
-
isPerspectiveDirty
public static boolean isPerspectiveDirty()We only autosave the perspective if it has changed, to avoid spinning up the disk on laptops.- Since:
- jEdit 4.2pre13
-
setPerspectiveDirty
public static void setPerspectiveDirty(boolean dirty) We only autosave the perspective if it has changed, to avoid spinning up the disk on laptops.- Since:
- jEdit 4.2pre13
-
isPerspectiveEnabled
public static boolean isPerspectiveEnabled()We disable saving of the perspective while the 'close all' dialog is showing.- Since:
- jEdit 4.3pre2
-
setPerspectiveEnabled
public static void setPerspectiveEnabled(boolean enabled) We disable saving of the perspective while the 'close all' dialog is showing.- Since:
- jEdit 4.3pre2
-
loadPerspective
-
savePerspective
public static void savePerspective(boolean autosave)
-