Package | Description |
---|---|
chargerlib |
Utility classes for CharGer, dealing with fonts, strings, history and other general-purpose things.
|
Modifier and Type | Class and Description |
---|---|
class |
GenericHTMLFrame |
class |
GenericTextFrame
A general utility class to handle simple text editing and saving.
|
Modifier and Type | Field and Description |
---|---|
private static Hashtable<ManagedWindow,String> |
WindowManager.fileWindowLookup
Keeps the window file entries in the form of ( file, ManagedWindow) pairs
|
private static Hashtable<JMenuItem,ManagedWindow> |
WindowManager.menuWindowLookup
Keeps the window entries in the form of (MenuItemLabel, ManagedWindow)
pairs
|
private static ArrayList<ManagedWindow> |
WindowManager.windowList
The global list of all managed windows, independent of any menus
|
private static Hashtable<ManagedWindow,String> |
WindowManager.windowMenuLabelLookup
Each window has a particular string that appears in the menu label.
|
Modifier and Type | Method and Description |
---|---|
static ManagedWindow |
WindowManager.chooseWindowFromMenu(JMenuItem mi)
Brings to the front whatever window goes with the menu item specified.
|
static ManagedWindow |
WindowManager.getWindowFromFile(File f) |
static ManagedWindow |
WindowManager.getWindowFromFile(File f,
Class desiredClass)
Find the window that corresponds to a particular file.
|
static ManagedWindow |
WindowManager.getWindowFromMenuItem(JMenuItem mi) |
Modifier and Type | Method and Description |
---|---|
static void |
WindowManager.changeFilename(ManagedWindow mw,
String filename)
Tell the window manager that it needs to change the filename it's using for this window.
|
static void |
WindowManager.forgetWindow(ManagedWindow mw)
Notify this window manager that a window no longer needs to be managed.
|
private static void |
WindowManager.insertNewWindowIntoList(ManagedWindow mw) |
static void |
WindowManager.makeMenu(ManagedWindow currentWindow)
Create menu entries for every managed window.
|
static void |
WindowManager.manageWindow(ManagedWindow mw)
Notify this window manager that a window wants to be managed.
|
static void |
WindowManager.manageWindow(ManagedWindow mw,
KeyStroke key)
Notify this window manager that a window wants to be managed.
|
static void |
WindowManager.refreshWindowMenuList(ManagedWindow activeFrame)
Refreshes the windows menu lists for the given window.
|