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