public class JPicEdt
extends java.lang.Object
Modifier and Type | Class and Description |
---|---|
static class |
JPicEdt.AboutAction
Opens the "about..." dialog box
|
static class |
JPicEdt.ContentTypeAction
Set the content-type of the currently active board
|
static class |
JPicEdt.ExitAction
Exit jPicEdt
|
static class |
JPicEdt.FileCloseAction
Close the active board
|
static class |
JPicEdt.FileNewAction
Create a new board from scratch, performing operation in a separate thread.
|
static class |
JPicEdt.FileOpenAction
Open a board from disk, performing I/O operations in a separate thread
|
static class |
JPicEdt.FileReloadAction
Reload the active board from disk, performing I/O operation in a separate thread.
|
static class |
JPicEdt.FileSaveAction
save a frame content to disk, performing I/O operations in a separate thread
|
static class |
JPicEdt.FileSaveAllAction
Save all open boards to disk.
|
static class |
JPicEdt.FileSaveAsAction
Save the active board to disk with a new file name, performing I/O operations in a separate thread
|
static class |
JPicEdt.FragmentInsertAction
Insert a fragment into the active board, performing I/O operation in a separate thread.
|
static class |
JPicEdt.FragmentSaveAction
save the selection content of the active board to disk as a "fragment"
|
static class |
JPicEdt.MemoryMonitorAction
Display memory information
|
static class |
JPicEdt.OpenBSHConsoleAction
Open a BeanShell console
|
static class |
JPicEdt.PageFormatAction
Set the format of the currently active board
|
static class |
JPicEdt.PreferencesAction
Open the "preferences" dialog box
|
static class |
JPicEdt.RedoAction
Redoes last action
|
static class |
JPicEdt.RedrawAction
Redraws (aka repaint()) active internal frame
|
static class |
JPicEdt.RunExternalCommandAction
run an external process
|
static class |
JPicEdt.ShowErrorLogAction
open a frame containing the error.log file
|
static class |
JPicEdt.ShowHelpAction
open a frame containing the help (HTML formatted) page.
|
static class |
JPicEdt.ShowLicenseAction
open a frame containing the (HTML formatted) GPL license page.
|
static class |
JPicEdt.ToggleAttributesPanelAction
Toggle the visibility of the attributes editor
|
static class |
JPicEdt.ToggleToolkitPanelAction
Toggle the visibility of the toolkit panel
|
static class |
JPicEdt.UndoAction
Undoes last action
|
static class |
JPicEdt.ViewLaTeXFileAction
Display the LaTeX content of the active board in a Dialog Box
|
static class |
JPicEdt.WindowCascadeAction
Cascades internal frames
|
static class |
JPicEdt.WindowTileHorAction
Tiles internal frames horizontally
|
static class |
JPicEdt.WindowTileVertAction
Tiles internal frames vertically
|
Modifier and Type | Field and Description |
---|---|
static java.lang.String |
DEFAULT_TMPDIR
default platform tmp dir
|
static java.lang.String |
KEY_TMPDIR
key used to fetch the user's temp dir from a Properties object
|
Modifier and Type | Method and Description |
---|---|
static boolean |
closeBoard(PEDrawingBoard board)
Close the given board, or the currently active board if "board" is null.
|
static ActionDispatcher |
getActionDispatcher() |
static ActionRegistry |
getActionRegistry()
Return an ActionMap that holds GUI action for the entire application.
|
static PECanvas |
getActiveCanvas()
Return the currently active PECanvas (ie hosted by the currently active PEDrawinBoard),
or null if no board is currently active.
|
static Drawing |
getActiveDrawing()
Return the Drawing attached to the currently active PECanvas (ie hosted by the currently active PEDrawinBoard),
or null if no board is currently active.
|
static PEDrawingBoard |
getActiveDrawingBoard()
Return the currently active PEDrawingBoard, or null if none is active.
|
static EditorKit |
getActiveEditorKit()
Return the EditorKit attached to the currently active PECanvas (ie hosted by the currently active PEDrawinBoard),
or null if no board is currently active.
|
static java.awt.datatransfer.Clipboard |
getClipboard()
Return a static reference to the local ClipBoard shared across all instance of this EditorKit.
|
static MDIManager |
getMDIManager() |
static Parser |
getParser()
Return the default parser used for parsing standard JPicEdt's formats, ie currently LaTeX,
epic/eepic, and PsTricks.
|
static java.util.Properties |
getPreferences()
Return the Properties object that holds user preferences across the entire application.
|
static boolean |
getProperty(java.lang.String key,
boolean def)
Convenience for retrieving a boolean property from User's preferences
|
static java.awt.Color |
getProperty(java.lang.String key,
java.awt.Color def)
Convenience for retrieving a Colour property from User's preferences
|
static double |
getProperty(java.lang.String key,
double def)
Convenience for retrieving a double property from User's preferences
|
static int |
getProperty(java.lang.String key,
int def)
Convenience for retrieving a int property from User's preferences
Return a integer parsed from the value associated with the given key, or "def" in key wasn't found.
|
static java.lang.String |
getProperty(java.lang.String key,
java.lang.String def)
Convenience for retrieving a String property from User's preferences
Return a String parsed from the value associated with the given key, or "def" in key wasn't found.
|
static java.io.File |
getTmpDir()
Return the user tmp dir, or the platform standard tmp dir if user didn't set one,
or null if none is standardly defined.
|
static java.lang.String |
getUserSettingsDirectory()
Return the user-settings directory, for instance "~/.jpicedt" on unix.
|
static void |
insertFragment(java.lang.String path)
Insert a fragment loaded from disk in the active board
|
static void |
main(java.lang.String[] args) |
static void |
newBoard()
Create a new drawing board and add it to the desktop
|
static void |
openBoard(java.lang.String path)
Create a new board initialized from a file on disk, then add it to the desktop
|
static void |
reloadBoard()
Reload the active board from disk
|
static void |
saveAllBoards()
Save all open boards to disk, possibly prompting user for a file name for those boards which
haven't been saved to disk before.
|
static void |
saveBoard(boolean alwaysPromptUser)
Save the active board to disk ; prompt user if this board hasn't been saved yet, or
if alwaysPromptUser is true (e.g.
|
static void |
saveFragment()
Save the active board selection as a fragment to disk
|
static void |
setMDIManager(MDIManager aMdiManager)
set the MDI manager that should be used for jPicEdt
|
static void |
setMDIManager(java.lang.String mdiStr)
Changes the current MDI Manager to
|
static void |
setTmpDir(java.lang.String location)
set the current tmp dir
|
public static final java.lang.String KEY_TMPDIR
public static final java.lang.String DEFAULT_TMPDIR
public static void main(java.lang.String[] args)
args
- Command line arguments -> name of files to load into the application on startup (there's no limitation on the number of files to load)
Any pathname, either relative, or absolute, is valid.public static void setMDIManager(MDIManager aMdiManager)
public static MDIManager getMDIManager()
public static void setMDIManager(java.lang.String mdiStr)
public static ActionDispatcher getActionDispatcher()
public static void newBoard()
public static void openBoard(java.lang.String path)
path
- the location of the file on disk ; if null, prompt user.public static void reloadBoard()
public static boolean closeBoard(PEDrawingBoard board)
public static void insertFragment(java.lang.String path)
path
- the location of the fragment on disk ; if null, prompt user.public static void saveBoard(boolean alwaysPromptUser)
public static void saveAllBoards()
public static void saveFragment()
public static java.util.Properties getPreferences()
public static ActionRegistry getActionRegistry()
public static Parser getParser()
public static PEDrawingBoard getActiveDrawingBoard()
public static PECanvas getActiveCanvas()
public static EditorKit getActiveEditorKit()
public static Drawing getActiveDrawing()
public static java.awt.datatransfer.Clipboard getClipboard()
public static boolean getProperty(java.lang.String key, boolean def)
public static java.awt.Color getProperty(java.lang.String key, java.awt.Color def)
public static double getProperty(java.lang.String key, double def)
NumberFormat.getPercentInstance
to convert it to a double.public static int getProperty(java.lang.String key, int def)
public static java.lang.String getProperty(java.lang.String key, java.lang.String def)
public static java.lang.String getUserSettingsDirectory()
public static java.io.File getTmpDir()
public static void setTmpDir(java.lang.String location)
Submit a bug : syd@jpicedt.org