Package app.events
Class OpenFileEvent
java.lang.Object
app.events.Event
app.events.OpenFileEvent
public class OpenFileEvent extends Event
Event signalizing that a file outside the current project is supposed to be opened in the editor.
-
Constructor Summary
Constructors Constructor Description OpenFileEvent(java.util.Optional<java.nio.file.Path> path)
Event signalizing that a file outside the current project is supposed to be opened in the editor. -
Method Summary
Modifier and Type Method Description java.util.Optional<java.nio.file.Path>
getPath()
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
-
Constructor Details
-
OpenFileEvent
public OpenFileEvent(java.util.Optional<java.nio.file.Path> path)Event signalizing that a file outside the current project is supposed to be opened in the editor.- Parameters:
path
- The path of the file to be opened
-
-
Method Details
-
getPath
public java.util.Optional<java.nio.file.Path> getPath()- Returns:
- The path of the file to be opened
-