| java.lang.Object
 org.gjt.sp.jedit.jEdit
| jEdit | | public class jEdit (Code) | | The main class of the jEdit text editor.
author:
Slava Pestov
version:
$Id: jEdit.java 11204 2007-12-07 19:46:49Z k_satoda $ |
| Inner Class :static class FirewallAuthenticator extends Authenticator | |
| Method Summary | |
| public static void | _closeBuffer(View view, Buffer buffer)
Closes the buffer, even if it has unsaved changes. | | public static Buffer | _getBuffer(String path)
Returns the buffer with the specified path name. | | public static void | addActionSet(ActionSet actionSet)
Adds a new action set to jEdit's list of ActionSets (viewable from the shortcuts
option pane). | | public static void | addPluginJAR(String path)
Loads the plugin JAR with the specified path. | | static void | addPluginProps(Properties map)
| | public static void | backupSettingsFile(File file)
Backs up the specified file in the settings directory. | | public static void | checkBufferStatus(View view)
Checks each buffer's status on disk and shows the dialog box
informing the user that buffers changed on disk, if necessary. | | public static void | checkBufferStatus(View view, boolean currentBuffer)
Checks buffer status on disk and shows the dialog box
informing the user that buffers changed on disk, if necessary. | | public static boolean | closeAllBuffers(View view)
Closes all open buffers. | | public static boolean | closeAllBuffers(View view, boolean isExiting)
Closes all open buffers. | | public static boolean | closeBuffer(View view, Buffer buffer)
Closes a buffer. | | public static void | closeView(View view)
Closes a view. | | public static void | commitTemporary(Buffer buffer)
Adds a temporary buffer to the buffer list. | | public static void | exit(View view, boolean reallyExit)
Exits cleanly from jEdit, prompting the user if any unsaved files
should be saved first. | | public static EditAction | getAction(String name)
Returns the specified action. | | public static ActionContext | getActionContext()
Returns the action context used to store editor actions. | | public static String[] | getActionNames()
Returns all registered action names. | | public static ActionSet | getActionSetForAction(String action)
Returns the action set that contains the specified action. | | public static ActionSet | getActionSetForAction(EditAction action)
| | public static ActionSet[] | getActionSets()
Returns all registered action sets. | | public static EditAction[] | getActions()
| | public static View | getActiveView()
Returns the currently focused view. | | public static View | getActiveViewInternal()
Returns the internal active view, which might be null. | | final public static boolean | getBooleanProperty(String name)
Returns the value of a boolean property. | | final public static boolean | getBooleanProperty(String name, boolean def)
Returns the value of a boolean property. | | public static Buffer | getBuffer(String path)
Returns the buffer with the specified path name. | | public static int | getBufferCount()
Returns the number of open buffers. | | public static Buffer[] | getBuffers()
Returns an array of open buffers. | | public static String | getBuild()
Returns the internal version. | | public static ActionSet | getBuiltInActionSet()
Returns the set of commands built into jEdit. | | public static Color | getColorProperty(String name)
Returns the value of a color property. | | public static Color | getColorProperty(String name, Color def)
Returns the value of a color property. | | public static double | getDoubleProperty(String name, double def)
| | public static EditServer | getEditServer()
Returns the edit server instance. | | public static Buffer | getFirstBuffer()
Returns the first buffer. | | public static View | getFirstView()
Returns the first view. | | final public static Font | getFontProperty(String name)
Returns the value of a font property. | | final public static Font | getFontProperty(String name, Font def)
Returns the value of a font property. | | public static InputHandler | getInputHandler()
| | final public static int | getIntegerProperty(String name)
Returns the value of an integer property. | | final public static int | getIntegerProperty(String name, int def)
Returns the value of an integer property. | | public static String | getJARCacheDirectory()
Returns the directory where plugin cache files are stored. | | public static String | getJEditHome()
Returns the jEdit install directory. | | public static Buffer | getLastBuffer()
Returns the last buffer. | | public static View | getLastView()
Returns the last view. | | public static Mode | getMode(String name)
Returns the edit mode with the specified name. | | public static Mode[] | getModes()
Returns an array of installed edit modes. | | public static String[] | getNotLoadedPluginJARs()
Returns a list of plugin JARs pathnames that are not currently loaded
by examining the user and system plugin directories. | | public static EditPlugin | getPlugin(String name)
Returns the plugin with the specified class name. | | public static EditPlugin | getPlugin(String name, boolean loadIfNecessary)
Returns the plugin with the specified class name. | | public static PluginJAR | getPluginJAR(String path)
Returns the JAR with the specified path name. | | public static PluginJAR[] | getPluginJARs()
Returns an array of installed plugins. | | public static EditPlugin[] | getPlugins()
Returns an array of installed plugins. | | final public static Properties | getProperties()
Returns the properties object which contains all known
jEdit properties. | | final public static String | getProperty(String name)
Fetches a property, returning null if it's not defined. | | final public static String | getProperty(String name, String def)
Fetches a property, returning the default value if it's not
defined. | | final public static String | getProperty(String name, Object[] args)
Returns the property with the specified name.
The elements of the args array are substituted
into the value of the property in place of strings of the
form {n}, where n is an index
in the array.
You can find out more about this feature by reading the
documentation for the format method of the
java.text.MessageFormat class. | | public static String | getSettingsDirectory()
Returns the path of the directory where user-specific settings
are stored. | | public static String | getVersion()
Returns the jEdit version as a human-readable string. | | public static int | getViewCount()
Returns the number of open views. | | public static View[] | getViews()
Returns an array of all open views. | | public static boolean | isBackgroundModeEnabled()
Returns true if jEdit was started with the -background
command-line switch. | | public static boolean | isMainThread()
Returns true if the currently running thread is the main thread. | | static void | loadMode(Mode mode)
Loads an XML-defined edit mode from the specified reader. | | public static void | main(String[] args)
The main method of the jEdit application. | | public static Buffer | newFile(View view)
Creates a new `untitled' file. | | public static Buffer | newFile(View view, String dir)
Creates a new `untitled' file. | | public static View | newView(View view)
Creates a new view. | | public static View | newView(View view, Buffer buffer)
Creates a new view of a buffer. | | public static View | newView(View view, Buffer buffer, boolean plainView)
Creates a new view of a buffer. | | public static View | newView(View view, Buffer buffer, View.ViewConfig config)
Creates a new view. | | public static Buffer | openFile(View view, String path)
Opens a file. | | public static Buffer | openFile(View view, String parent, String path, boolean readOnly, boolean newFile)
| | public static Buffer | openFile(View view, String parent, String path, boolean readOnly, boolean newFile, Hashtable props)
| | public static Buffer | openFile(View view, String parent, String path, boolean newFile, Hashtable props)
Opens a file. | | public static Buffer | openFiles(View view, String parent, String[] args)
Opens the file names specified in the argument array. | | public static Buffer | openTemporary(View view, String parent, String path, boolean newFile)
Opens a temporary buffer. | | public static Buffer | openTemporary(View view, String parent, String path, boolean newFile, Hashtable props)
Opens a temporary buffer. | | static void | pluginError(String path, String messageProp, Object[] args)
| | public static void | propertiesChanged()
Reloads various settings from the properties. | | public static void | reloadAllBuffers(View view, boolean confirm)
Reloads all open buffers. | | public static void | reloadModes()
Reloads all edit modes. | | public static void | removeActionSet(ActionSet actionSet)
Removes an action set from jEdit's list. | | public static void | removePluginJAR(PluginJAR jar, boolean exit)
Unloads the given plugin JAR with the specified path. | | static void | removePluginProps(Properties map)
| | final public static void | resetProperty(String name)
Resets a property to its default value. | | public static void | saveAllBuffers(View view)
Saves all open buffers. | | public static void | saveAllBuffers(View view, boolean confirm)
Saves all open buffers. | | public static void | saveSettings()
Saves all user preferences to disk. | | static void | setActiveView(View view)
| | final public static void | setBooleanProperty(String name, boolean value)
Sets a boolean property. | | public static void | setColorProperty(String name, Color value)
Sets the value of a color property. | | final public static void | setDoubleProperty(String name, double value)
| | final public static void | setFontProperty(String name, Font value)
Sets the value of a font property. | | final public static void | setIntegerProperty(String name, int value)
Sets the value of an integer property. | | final public static void | setProperty(String name, String value)
Sets a property to a new value. | | final public static void | setTemporaryProperty(String name, String value)
Sets a property to a new value. | | public static void | showMemoryDialog(View view)
Performs garbage collection and displays a dialog box showing
memory status. | | final public static void | unsetProperty(String name)
Unsets (clears) a property. | | static void | updatePosition(String oldPath, Buffer buffer)
If buffer sorting is enabled, this repositions the buffer. |
| _closeBuffer | | public static void _closeBuffer(View view, Buffer buffer)(Code) | | Closes the buffer, even if it has unsaved changes.
Parameters:
view - The view, may be null
Parameters:
buffer - The buffer
exception:
NullPointerException - if the buffer is null
since:
jEdit 2.2pre1 |
| addActionSet | | public static void addActionSet(ActionSet actionSet)(Code) | | Adds a new action set to jEdit's list of ActionSets (viewable from the shortcuts
option pane). By default, each plugin has one ActionSet,
but some plugins may create dynamic action sets, such as ProjectViewer and Console.
These plugins must call removeActionSet() when the plugin is unloaded.
since:
jEdit 4.0pre1
See Also: jEdit.removeActionSet(ActionSet) |
| addPluginJAR | | public static void addPluginJAR(String path)(Code) | | Loads the plugin JAR with the specified path. Some notes about this
method:
- Calling this at a time other than jEdit startup can have
unpredictable results if the plugin has not been updated for the
jEdit 4.2 plugin API.
- You must make sure yourself the plugin is not already loaded.
- After loading, you just make sure all the plugin's dependencies
are satisified before activating the plugin, using the
PluginJAR.checkDependencies method.
Parameters:
path - The JAR file path
since:
jEdit 4.2pre1 |
| backupSettingsFile | | public static void backupSettingsFile(File file)(Code) | | Backs up the specified file in the settings directory.
You should call this on any settings files your plugin
writes.
Parameters:
file - The file
since:
jEdit 4.0pre1 |
| checkBufferStatus | | public static void checkBufferStatus(View view)(Code) | | Checks each buffer's status on disk and shows the dialog box
informing the user that buffers changed on disk, if necessary.
Parameters:
view - The view
since:
jEdit 4.2pre1 |
| checkBufferStatus | | public static void checkBufferStatus(View view, boolean currentBuffer)(Code) | | Checks buffer status on disk and shows the dialog box
informing the user that buffers changed on disk, if necessary.
Parameters:
view - The view
Parameters:
currentBuffer - indicates whether to check only the current buffer
since:
jEdit 4.2pre1 |
| closeAllBuffers | | public static boolean closeAllBuffers(View view)(Code) | | Closes all open buffers.
Parameters:
view - The view |
| closeAllBuffers | | public static boolean closeAllBuffers(View view, boolean isExiting)(Code) | | Closes all open buffers.
Parameters:
view - The view
Parameters:
isExiting - This must be false unless this method isbeing called by the exit() method |
| closeBuffer | | public static boolean closeBuffer(View view, Buffer buffer)(Code) | | Closes a buffer. If there are unsaved changes, the user is
prompted if they should be saved first.
Parameters:
view - The view
Parameters:
buffer - The buffer True if the buffer was really closed, false otherwise |
| closeView | | public static void closeView(View view)(Code) | | Closes a view.
jEdit will exit if this was the last open view.
|
| commitTemporary | | public static void commitTemporary(Buffer buffer)(Code) | | Adds a temporary buffer to the buffer list. This must be done
before allowing the user to interact with the buffer in any
way.
Parameters:
buffer - The buffer |
| exit | | public static void exit(View view, boolean reallyExit)(Code) | | Exits cleanly from jEdit, prompting the user if any unsaved files
should be saved first.
Parameters:
view - The view from which this exit was called
Parameters:
reallyExit - If background mode is enabled and this parameteris true, then jEdit will close all open views instead of exitingentirely. |
| getAction | | public static EditAction getAction(String name)(Code) | | Returns the specified action.
Parameters:
name - The action name |
| getActionContext | | public static ActionContext getActionContext()(Code) | | Returns the action context used to store editor actions.
since:
jEdit 4.2pre1 |
| getActionNames | | public static String[] getActionNames()(Code) | | Returns all registered action names.
|
| getActionSetForAction | | public static ActionSet getActionSetForAction(String action)(Code) | | Returns the action set that contains the specified action.
Parameters:
action - The action
since:
jEdit 4.2pre1 |
| getActionSets | | public static ActionSet[] getActionSets()(Code) | | Returns all registered action sets.
since:
jEdit 4.0pre1 |
| getActiveView | | public static View getActiveView()(Code) | | Returns the currently focused view.
since:
jEdit 4.1pre1 |
| getActiveViewInternal | | public static View getActiveViewInternal()(Code) | | Returns the internal active view, which might be null.
since:
4.3pre10 |
| getBooleanProperty | | final public static boolean getBooleanProperty(String name)(Code) | | Returns the value of a boolean property.
Parameters:
name - The property |
| getBooleanProperty | | final public static boolean getBooleanProperty(String name, boolean def)(Code) | | Returns the value of a boolean property.
Parameters:
name - The property
Parameters:
def - The default value |
| getBufferCount | | public static int getBufferCount()(Code) | | Returns the number of open buffers.
|
| getBuffers | | public static Buffer[] getBuffers()(Code) | | Returns an array of open buffers.
|
| getBuild | | public static String getBuild()(Code) | | Returns the internal version. MiscUtilities.compareStrings() can be used
to compare different internal versions.
|
| getBuiltInActionSet | | public static ActionSet getBuiltInActionSet()(Code) | | Returns the set of commands built into jEdit.
since:
jEdit 4.2pre1 |
| getColorProperty | | public static Color getColorProperty(String name)(Code) | | Returns the value of a color property.
Parameters:
name - The property name
since:
jEdit 4.0pre1 |
| getColorProperty | | public static Color getColorProperty(String name, Color def)(Code) | | Returns the value of a color property.
Parameters:
name - The property name
Parameters:
def - The default value
since:
jEdit 4.0pre1 |
| getDoubleProperty | | public static double getDoubleProperty(String name, double def)(Code) | | |
| getEditServer | | public static EditServer getEditServer()(Code) | | Returns the edit server instance. You can use this to find out the
port number jEdit is listening on.
since:
jEdit 4.2pre10 |
| getFirstBuffer | | public static Buffer getFirstBuffer()(Code) | | Returns the first buffer.
|
| getFirstView | | public static View getFirstView()(Code) | | Returns the first view.
|
| getFontProperty | | final public static Font getFontProperty(String name)(Code) | | Returns the value of a font property. The family is stored
in the name property, the font size is stored
in the namesize property, and the font style is
stored in namestyle. For example, if
name is view.gutter.font, the
properties will be named view.gutter.font,
view.gutter.fontsize, and
view.gutter.fontstyle.
Parameters:
name - The property
since:
jEdit 4.0pre1 |
| getFontProperty | | final public static Font getFontProperty(String name, Font def)(Code) | | Returns the value of a font property. The family is stored
in the name property, the font size is stored
in the namesize property, and the font style is
stored in namestyle. For example, if
name is view.gutter.font, the
properties will be named view.gutter.font,
view.gutter.fontsize, and
view.gutter.fontstyle.
Parameters:
name - The property
Parameters:
def - The default value
since:
jEdit 4.0pre1 |
| getIntegerProperty | | final public static int getIntegerProperty(String name)(Code) | | Returns the value of an integer property.
Parameters:
name - The property |
| getIntegerProperty | | final public static int getIntegerProperty(String name, int def)(Code) | | Returns the value of an integer property.
Parameters:
name - The property
Parameters:
def - The default value
since:
jEdit 4.0pre1 |
| getJARCacheDirectory | | public static String getJARCacheDirectory()(Code) | | Returns the directory where plugin cache files are stored.
since:
jEdit 4.2pre1 |
| getJEditHome | | public static String getJEditHome()(Code) | | Returns the jEdit install directory.
|
| getLastBuffer | | public static Buffer getLastBuffer()(Code) | | Returns the last buffer.
|
| getLastView | | public static View getLastView()(Code) | | Returns the last view.
|
| getMode | | public static Mode getMode(String name)(Code) | | Returns the edit mode with the specified name.
Parameters:
name - The edit mode |
| getModes | | public static Mode[] getModes()(Code) | | Returns an array of installed edit modes.
|
| getNotLoadedPluginJARs | | public static String[] getNotLoadedPluginJARs()(Code) | | Returns a list of plugin JARs pathnames that are not currently loaded
by examining the user and system plugin directories.
since:
jEdit 3.2pre1 |
| getPlugin | | public static EditPlugin getPlugin(String name)(Code) | | Returns the plugin with the specified class name.
Only works for plugins that were loaded.
|
| getPlugin | | public static EditPlugin getPlugin(String name, boolean loadIfNecessary)(Code) | | Returns the plugin with the specified class name.
If * loadIfNecessary is true, the plugin will be searched for,
loaded, and activated in case it has not yet been loaded.
Parameters:
name - the classname of the main Plugin class.
Parameters:
loadIfNecessary - - loads plugin + dependencies if it is not loaded yet.
since:
jEdit 4.2pre4 |
| getPluginJAR | | public static PluginJAR getPluginJAR(String path)(Code) | | Returns the JAR with the specified path name.
Parameters:
path - The path name
since:
jEdit 4.2pre1 |
| getPluginJARs | | public static PluginJAR[] getPluginJARs()(Code) | | Returns an array of installed plugins.
since:
jEdit 4.2pre1 |
| getPlugins | | public static EditPlugin[] getPlugins()(Code) | | Returns an array of installed plugins.
|
| getProperties | | final public static Properties getProperties()(Code) | | Returns the properties object which contains all known
jEdit properties. Note that as of jEdit 4.2pre10, this returns a
new collection, not the existing properties instance.
since:
jEdit 3.1pre4 |
| getProperty | | final public static String getProperty(String name)(Code) | | Fetches a property, returning null if it's not defined.
Parameters:
name - The property |
| getProperty | | final public static String getProperty(String name, String def)(Code) | | Fetches a property, returning the default value if it's not
defined.
Parameters:
name - The property
Parameters:
def - The default value |
| getProperty | | final public static String getProperty(String name, Object[] args)(Code) | | Returns the property with the specified name.
The elements of the args array are substituted
into the value of the property in place of strings of the
form {n}, where n is an index
in the array.
You can find out more about this feature by reading the
documentation for the format method of the
java.text.MessageFormat class.
Parameters:
name - The property
Parameters:
args - The positional parameters |
| getSettingsDirectory | | public static String getSettingsDirectory()(Code) | | Returns the path of the directory where user-specific settings
are stored. This will be null if jEdit was
started with the -nosettings command-line switch; do not
blindly use this method without checking for a null
return value first.
|
| getVersion | | public static String getVersion()(Code) | | Returns the jEdit version as a human-readable string.
|
| getViewCount | | public static int getViewCount()(Code) | | Returns the number of open views.
|
| getViews | | public static View[] getViews()(Code) | | Returns an array of all open views.
|
| isBackgroundModeEnabled | | public static boolean isBackgroundModeEnabled()(Code) | | Returns true if jEdit was started with the -background
command-line switch.
since:
jEdit 4.0pre4 |
| isMainThread | | public static boolean isMainThread()(Code) | | Returns true if the currently running thread is the main thread.
since:
jEdit 4.2pre1 |
| loadMode | | static void loadMode(Mode mode)(Code) | | Loads an XML-defined edit mode from the specified reader.
Parameters:
mode - The edit mode |
| main | | public static void main(String[] args)(Code) | | The main method of the jEdit application.
This should never be invoked directly.
Parameters:
args - The command line arguments |
| newFile | | public static Buffer newFile(View view)(Code) | | Creates a new `untitled' file.
Parameters:
view - The view to create the file in |
| newFile | | public static Buffer newFile(View view, String dir)(Code) | | Creates a new `untitled' file.
Parameters:
view - The view to create the file in
Parameters:
dir - The directory to create the file in
since:
jEdit 3.1pre2 |
| newView | | public static View newView(View view)(Code) | | Creates a new view.
Parameters:
view - An existing view
since:
jEdit 3.2pre2 |
| newView | | public static View newView(View view, Buffer buffer)(Code) | | Creates a new view of a buffer.
Parameters:
view - An existing view
Parameters:
buffer - The buffer |
| newView | | public static View newView(View view, Buffer buffer, boolean plainView)(Code) | | Creates a new view of a buffer.
Parameters:
view - An existing view
Parameters:
buffer - The buffer
Parameters:
plainView - If true, the view will not have dockable windows ortool bars.
since:
4.1pre2 |
| newView | | public static View newView(View view, Buffer buffer, View.ViewConfig config)(Code) | | Creates a new view.
Parameters:
view - An existing view
Parameters:
buffer - A buffer to display, or null
Parameters:
config - Encapsulates the view geometry, split configurationand if the view is a plain view
since:
jEdit 4.2pre1 |
| openFile | | public static Buffer openFile(View view, String path)(Code) | | Opens a file. Note that as of jEdit 2.5pre1, this may return
null if the buffer could not be opened.
Parameters:
view - The view to open the file in
Parameters:
path - The file path
since:
jEdit 2.4pre1 |
| openFile | | public static Buffer openFile(View view, String parent, String path, boolean newFile, Hashtable props)(Code) | | Opens a file. This may return null if the buffer could not be
opened for some reason.
Parameters:
view - The view to open the file in
Parameters:
parent - The parent directory of the file
Parameters:
path - The path name of the file
Parameters:
newFile - True if the file should not be loaded from diskbe prompted if it should be reloaded
Parameters:
props - Buffer-local properties to set in the buffer
since:
jEdit 3.2pre10 |
| openFiles | | public static Buffer openFiles(View view, String parent, String[] args)(Code) | | Opens the file names specified in the argument array. This
handles +line and +marker arguments just like the command
line parser.
Parameters:
parent - The parent directory
Parameters:
args - The file names to open
since:
jEdit 3.2pre4 |
| openTemporary | | public static Buffer openTemporary(View view, String parent, String path, boolean newFile)(Code) | | Opens a temporary buffer. A temporary buffer is like a normal
buffer, except that an event is not fired, the the buffer is
not added to the buffers list.
Parameters:
view - The view to open the file in
Parameters:
parent - The parent directory of the file
Parameters:
path - The path name of the file
Parameters:
newFile - True if the file should not be loaded from disk
since:
jEdit 3.2pre10 |
| openTemporary | | public static Buffer openTemporary(View view, String parent, String path, boolean newFile, Hashtable props)(Code) | | Opens a temporary buffer. A temporary buffer is like a normal
buffer, except that an event is not fired, the the buffer is
not added to the buffers list.
Parameters:
view - The view to open the file in
Parameters:
parent - The parent directory of the file
Parameters:
path - The path name of the file
Parameters:
newFile - True if the file should not be loaded from disk
Parameters:
props - Buffer-local properties to set in the buffer
since:
jEdit 4.3pre10 |
| pluginError | | static void pluginError(String path, String messageProp, Object[] args)(Code) | |
Parameters:
messageProp - - a property of a message to print
Parameters:
args - a list of arguments whch correspond to {0} and {1} in the string to print. |
| propertiesChanged | | public static void propertiesChanged()(Code) | | Reloads various settings from the properties.
|
| reloadAllBuffers | | public static void reloadAllBuffers(View view, boolean confirm)(Code) | | Reloads all open buffers.
Parameters:
view - The view
Parameters:
confirm - If true, a confirmation dialog will be shown firstif any buffers are dirty
since:
jEdit 2.7pre2 |
| reloadModes | | public static void reloadModes()(Code) | | Reloads all edit modes.
since:
jEdit 3.2pre2 |
| removeActionSet | | public static void removeActionSet(ActionSet actionSet)(Code) | | Removes an action set from jEdit's list.
Plugins that add a dynamic action set must call this method at plugin
unload time.
since:
jEdit 4.2pre1 |
| removePluginJAR | | public static void removePluginJAR(PluginJAR jar, boolean exit)(Code) | | Unloads the given plugin JAR with the specified path. Note that
calling this at a time other than jEdit shutdown can have
unpredictable results if the plugin has not been updated for the
jEdit 4.2 plugin API.
Parameters:
jar - The PluginJAR instance
Parameters:
exit - Set to true if jEdit is exiting; enables someshortcuts so the editor can close faster.
since:
jEdit 4.2pre1 |
| resetProperty | | final public static void resetProperty(String name)(Code) | | Resets a property to its default value.
Parameters:
name - The property
since:
jEdit 2.5pre3 |
| saveAllBuffers | | public static void saveAllBuffers(View view)(Code) | | Saves all open buffers.
Parameters:
view - The view
since:
jEdit 4.2pre1 |
| saveAllBuffers | | public static void saveAllBuffers(View view, boolean confirm)(Code) | | Saves all open buffers.
Parameters:
view - The view
Parameters:
confirm - If true, a confirmation dialog will be shown first
since:
jEdit 2.7pre2 |
| saveSettings | | public static void saveSettings()(Code) | | Saves all user preferences to disk.
|
| setActiveView | | static void setActiveView(View view)(Code) | | |
| setBooleanProperty | | final public static void setBooleanProperty(String name, boolean value)(Code) | | Sets a boolean property.
Parameters:
name - The property
Parameters:
value - The value |
| setColorProperty | | public static void setColorProperty(String name, Color value)(Code) | | Sets the value of a color property.
Parameters:
name - The property name
Parameters:
value - The value
since:
jEdit 4.0pre1 |
| setDoubleProperty | | final public static void setDoubleProperty(String name, double value)(Code) | | |
| setFontProperty | | final public static void setFontProperty(String name, Font value)(Code) | | Sets the value of a font property. The family is stored
in the name property, the font size is stored
in the namesize property, and the font style is
stored in namestyle. For example, if
name is view.gutter.font, the
properties will be named view.gutter.font,
view.gutter.fontsize, and
view.gutter.fontstyle.
Parameters:
name - The property
Parameters:
value - The value
since:
jEdit 4.0pre1 |
| setIntegerProperty | | final public static void setIntegerProperty(String name, int value)(Code) | | Sets the value of an integer property.
Parameters:
name - The property
Parameters:
value - The value
since:
jEdit 4.0pre1 |
| setProperty | | final public static void setProperty(String name, String value)(Code) | | Sets a property to a new value.
Parameters:
name - The property
Parameters:
value - The new value |
| setTemporaryProperty | | final public static void setTemporaryProperty(String name, String value)(Code) | | Sets a property to a new value. Properties set using this
method are not saved to the user properties list.
Parameters:
name - The property
Parameters:
value - The new value
since:
jEdit 2.3final |
| showMemoryDialog | | public static void showMemoryDialog(View view)(Code) | | Performs garbage collection and displays a dialog box showing
memory status.
Parameters:
view - The view
since:
jEdit 4.0pre1 |
| unsetProperty | | final public static void unsetProperty(String name)(Code) | | Unsets (clears) a property.
Parameters:
name - The property |
| updatePosition | | static void updatePosition(String oldPath, Buffer buffer)(Code) | | If buffer sorting is enabled, this repositions the buffer.
|
|
|