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 bugsDebugRepaintManager A RepaintManager that may used for debugging purposeFragments Fragments menu managementHtmlViewer 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 classRunExternalCommand 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.