Class FileHandlingManager

java.lang.Object
org.graffiti.editor.actions.FileHandlingManager

public class FileHandlingManager
extends Object
  • Method Details

    • getInstance

      public static FileHandlingManager getInstance()
    • registerFileHandlingListener

      public void registerFileHandlingListener​(FileHandlingListeners l)
    • removeFileHandlingListener

      public boolean removeFileHandlingListener​(FileHandlingListeners l)
    • throwFileSavedAs

      public void throwFileSavedAs​(File oldFile, File newFile)
    • throwFileSaved

      public void throwFileSaved​(File file, String ext, Graph graph)
    • throwFileOpened

      public void throwFileOpened​(File f)
    • throwFileNew

      public void throwFileNew()