java.lang.Object
org.jedit.core.FileOpenerService
File Opener Service.
FastOpen 2.5 and SmartOpen 1.1 offer this as a service to
other plugins such as ErrorList 2.0 that can use it to open
files when, for example, the error message only provides
a filename and not an absolute path.
A response to SF.net ticket #3481157
- Since:
- jEdit 5.0pre1
- Author:
- Alan Ezust
-
Constructor Summary
-
Method Summary
Modifier and TypeMethodDescriptionstatic void
Searches available FileOpenerServices and uses the first, or the preferred one based on the "fileopener.service" property.abstract void
Opens a file in jEdit, given only a filename and no path.
-
Constructor Details
-
FileOpenerService
public FileOpenerService()
-
-
Method Details
-
openFile
Opens a file in jEdit, given only a filename and no path. May cause a dialog to popup asking the user for a choice.- Parameters:
fileName
- the file name to search forview
- the parent View
-
open
Searches available FileOpenerServices and uses the first, or the preferred one based on the "fileopener.service" property. You can set a preferred FileOpener from the Console beanshell like this:jEdit.setProperty("fileopener.service", "FastOpen"); // or "SmartOpen"
This setting is ignored if there is only one FileOpenerService available.- Parameters:
fileName
- the file name to search forview
- the parent View
-