Module jEdit

Class PerspectiveManager

java.lang.Object
org.gjt.sp.jedit.PerspectiveManager

public class PerspectiveManager extends Object
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 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

      public static View loadPerspective(boolean restoreFiles)
    • savePerspective

      public static void savePerspective(boolean autosave)