public abstract class FileOpenerService
extends java.lang.Object
| Constructor | Description |
|---|---|
FileOpenerService() |
| Modifier and Type | Method | 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