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
-
Method Summary
Modifier and TypeMethodDescriptionstatic boolean
We only autosave the perspective if it has changed, to avoid spinning up the disk on laptops.static boolean
We disable saving of the perspective while the 'close all' dialog is showing.static View
loadPerspective
(boolean restoreFiles) static void
savePerspective
(boolean autosave) static void
setPerspectiveDirty
(boolean dirty) We only autosave the perspective if it has changed, to avoid spinning up the disk on laptops.static void
setPerspectiveEnabled
(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)
-