public abstract class FileOpenerService
extends java.lang.Object
Constructor and Description |
---|
FileOpenerService() |
Modifier and Type | Method and Description |
---|---|
static void |
open(java.lang.String fileName,
View view)
Searches available FileOpenerServices and uses the first, or the
preferred one based on the "fileopener.service" property.
|
abstract void |
openFile(java.lang.String fileName,
View view)
Opens a file in jEdit, given only a filename and no path.
|
public abstract void openFile(java.lang.String fileName, View view)
fileName
- the file name to search forview
- the parent Viewpublic static void open(java.lang.String fileName, View view)
jEdit.setProperty("fileopener.service", "FastOpen"); // or "SmartOpen"This setting is ignored if there is only one FileOpenerService available.
fileName
- the file name to search forview
- the parent View