Package jpicedt.ui.util

Utilities classes.

Since:

PicEdt 1.3.2

Class Summary

Class	Description
BeanShell	Wrapper for the BSH interpreter console + some useful static methods for running scripts from inside JPicEdt.
DebugFocusManager	A subclass of Swing's DefaultFocusManager that aims at helping us debug FocusEvent related bugs
DebugRepaintManager	A RepaintManager that may used for debugging purpose
Fragments	Fragments menu management
HtmlViewer	A frame for displaying HTML content (e.g.
PEProgressBar	a progress bar that is (currently) used only during GUI initialization on start-up (hence messages are predefined so that it makes sense during a GUI init, but probably not elsewhere).
PEProgressBar.Test	test class
RunExternalCommand	A class implementing methods for calling external processes like latex, (x)dvi, ghostscript...
SystemOutUtilities	A class that allow redirection of stderr and/or stdout to a log file.