public class LibraryBrowser
extends javax.swing.JPanel
java.awt.Component.AccessibleAWTComponent, java.awt.Component.BaselineResizeBehavior, java.awt.Component.BltBufferStrategy, java.awt.Component.FlipBufferStrategy
java.awt.Container.AccessibleAWTContainer
Modifier and Type | Field | Description |
---|---|---|
protected javax.swing.JMenuItem |
aboutItem |
|
protected static java.lang.String |
AND |
|
protected static javax.swing.border.Border |
buttonBorder |
|
protected javax.swing.JMenuItem |
cacheItem |
|
protected javax.swing.JMenuItem |
closeAllItem |
|
protected javax.swing.JMenuItem |
closeItem |
|
protected static java.lang.String |
CLOSING |
|
protected javax.swing.JMenuItem |
collectionsItem |
|
protected javax.swing.JMenu |
collectionsMenu |
|
protected javax.swing.Action |
commandAction |
|
protected javax.swing.JButton |
commandButton |
|
protected javax.swing.JTextField |
commandField |
|
protected javax.swing.JLabel |
commandLabel |
|
protected static ResizableIcon |
contractIcon |
|
protected javax.swing.JMenuItem |
deleteItem |
|
protected java.io.FileFilter |
dlFileFilter |
|
protected javax.swing.JButton |
editButton |
|
protected javax.swing.JMenuItem |
exitItem |
|
protected boolean |
exitOnClose |
|
protected static ResizableIcon |
expandIcon |
|
protected static javax.swing.JDialog |
externalDialog |
|
protected javax.swing.JMenu |
fileMenu |
|
protected static javax.swing.filechooser.FileFilter |
filesAndFoldersFilter |
|
static boolean |
fireHelpEvent |
|
protected static javax.swing.JFrame |
frame |
|
protected static ResizableIcon |
heavyContractIcon |
|
protected static ResizableIcon |
heavyExpandIcon |
|
protected TextFrame |
helpFrame |
|
protected javax.swing.JMenuItem |
helpItem |
|
protected javax.swing.JMenu |
helpMenu |
|
protected javax.swing.JEditorPane |
htmlAboutPane |
|
protected javax.swing.JScrollPane |
htmlScroller |
|
protected boolean |
isRecentPathXML |
|
protected boolean |
keyPressed |
|
protected Library |
library |
|
protected static java.lang.String |
LIBRARY_HELP_BASE |
|
protected static java.lang.String |
LIBRARY_HELP_NAME |
|
protected LibraryManager |
libraryManager |
|
protected java.lang.String |
libraryPath |
|
protected java.awt.event.ActionListener |
loadCollectionAction |
|
protected javax.swing.JMenuItem |
logItem |
|
protected javax.swing.JMenu |
manageMenu |
|
protected static javax.swing.JMenuBar |
menubar |
|
protected static java.lang.String |
MY_COLLECTION_NAME |
|
protected static java.lang.String |
MY_LIBRARY_NAME |
|
protected javax.swing.JMenuItem |
newItem |
|
protected static java.lang.String |
OPENING |
|
protected javax.swing.JMenuItem |
openItem |
|
protected javax.swing.Action |
openRecentAction |
|
protected static java.lang.String |
OR |
|
protected static java.lang.String |
OSP_DIRECTORY |
|
protected javax.swing.JMenu |
recentMenu |
|
protected javax.swing.JButton |
refreshButton |
|
protected static ResizableIcon |
refreshIcon |
|
protected javax.swing.JMenuItem |
saveAsItem |
|
protected javax.swing.JMenuItem |
saveItem |
|
protected javax.swing.Action |
searchAction |
|
protected javax.swing.JTextField |
searchField |
|
protected javax.swing.JMenuItem |
searchItem |
|
protected javax.swing.JLabel |
searchLabel |
|
protected static java.lang.String |
searchTerm |
|
protected static javax.swing.Timer |
searchTimer |
|
static java.lang.String |
SHARED_LIBRARY |
|
protected javax.swing.JTabbedPane |
tabbedPane |
|
protected boolean |
textChanged |
|
protected javax.swing.JToolBar |
toolbar |
|
protected static java.io.FileFilter |
TRACKER_FILTER |
|
static java.lang.String |
TRACKER_LIBRARY |
|
protected java.beans.PropertyChangeListener |
treePanelListener |
|
protected static boolean |
webConnected |
|
protected static java.lang.String |
WINDOWS_OSP_DIRECTORY |
accessibleContext, BOTTOM_ALIGNMENT, CENTER_ALIGNMENT, LEFT_ALIGNMENT, RIGHT_ALIGNMENT, TOP_ALIGNMENT
Modifier and Type | Method | Description |
---|---|---|
void |
addComPADRECollection(java.lang.String path) |
Adds a ComPADRE collection with a specified path.
|
void |
addOSPLibrary(java.lang.String path) |
Adds an OSP-sponsored library with a specified path.
|
protected org.opensourcephysics.tools.LibraryBrowser.TabLoader |
addTab(java.lang.String path,
java.util.List<java.lang.String> treePath) |
Adds a tab displaying a library resource with a given path.
|
protected void |
addToCollections(java.lang.String path) |
Adds a collection to this browser's library after prompting the user to
assign it a name.
|
protected java.util.Map<LibraryResource,java.util.List<java.lang.String[]>> |
applyAND(java.util.Map<LibraryResource,java.util.List<java.lang.String[]>> results1,
java.util.Map<LibraryResource,java.util.List<java.lang.String[]>> results2) |
Returns the resources that are contained in the keysets of both of two input maps.
|
protected java.util.Map<LibraryResource,java.util.List<java.lang.String[]>> |
applyOR(java.util.Map<LibraryResource,java.util.List<java.lang.String[]>> results1,
java.util.Map<LibraryResource,java.util.List<java.lang.String[]>> results2) |
Returns the resources that are contained in the keysets of either of two input maps.
|
protected boolean |
closeTab(int index) |
Closes a tab.
|
protected LibraryCollection |
createCollection(java.io.File targetDir,
java.io.File base,
java.io.FileFilter filter) |
Creates a LibraryCollection containing all DL resources in a target directory.
|
protected void |
createGUI() |
Creates the visible components of this panel.
|
protected LibraryTreePanel |
createLibraryTreePanel() |
Creates a new empty LibraryTreePanel.
|
protected java.lang.String |
createNewCollection() |
Creates a new LibraryCollection file.
|
protected LibraryResource |
createResource(java.io.File targetFile,
java.io.File baseDir,
java.io.FileFilter filter) |
Creates a LibraryResource that describes and targets a file.
|
boolean |
exit() |
Exits this browser.
|
protected java.lang.String |
getAboutLibraryBrowserText() |
Returns html code that describes this browser.
|
static LibraryBrowser |
getBrowser() |
Gets the shared singleton browser.
|
static LibraryBrowser |
getBrowser(javax.swing.JDialog dialog) |
Gets the shared singleton browser in a JDialog or, if none, in a shared JFrame.
|
protected java.lang.String |
getChooserSavePath(java.lang.String chooserTitle) |
Uses a file chooser to define a path to which a library or resource file (xml) can be saved.
|
java.io.FileFilter |
getDLFileFilter() |
Gets the fileFilter used to determine which files are DL resources.
|
protected LibraryManager |
getManager() |
Gets the library manager for this browser.
|
protected java.lang.String[] |
getNextSplit(java.lang.String phrase) |
Returns the phrase before the next AND or OR operator, the operator itself, and the remainder of the phrase.
|
protected java.lang.String[] |
getParenthesisSplit(java.lang.String phrase) |
Returns the phrase enclosed in parentheses along with the remainder of a phrase.
|
protected static java.lang.String |
getRedirectFromHTMLCode(java.lang.String code) |
Returns the redirect URL path, if any, of an HTML page.
|
protected java.util.Set<LibraryResource> |
getSearchCacheTargets() |
Returns the set of all searchable cache resources.
|
protected LibraryTreePanel |
getSelectedTreePanel() |
Gets the selected LibraryTreePanel, if any.
|
protected int |
getTabIndexFromPath(java.lang.String path) |
Gets the index of the tab associated with a given path.
|
protected int |
getTabIndexFromTitle(java.lang.String title) |
Gets the index of the tab associated with a given title.
|
protected java.lang.String |
getTabTitle(int index) |
Gets the title of the tab at a given index.
|
protected java.lang.String |
getTabTitle(java.lang.String path) |
Gets the title of the tab associated with a given path.
|
protected LibraryTreePanel |
getTreePanel(int index) |
Gets the LibraryTreePanel at a specified tab index.
|
protected java.lang.String |
getUniqueName(java.lang.String proposed,
java.lang.String nameToIgnore) |
Returns a name that is not a duplicate of an existing name.
|
void |
importLibrary(java.lang.String path) |
Imports a library with a specified path.
|
protected boolean |
isDuplicateName(java.lang.String name,
java.lang.String nameToIgnore) |
Determines if a name duplicates an existing name.
|
protected static boolean |
isWebConnected() |
Returns true if connected to the web.
|
protected LibraryResource |
loadResource(java.lang.String path) |
Loads a library resource from a given path.
|
protected void |
loadTab(java.lang.String path,
java.util.List<java.lang.String> treePath) |
Loads a tab from a given path.
|
static void |
main(java.lang.String[] args) |
Entry point when run as an independent application.
|
protected void |
open() |
Opens a file using a file chooser.
|
protected void |
open(java.lang.String path) |
Opens a file with a specified path.
|
void |
refreshCollectionsMenu() |
Refreshes the Collections menu.
|
protected void |
refreshGUI() |
Refreshes the GUI, including locale-dependent resources strings.
|
void |
refreshRecentMenu() |
Refreshes the open recent files menu.
|
protected void |
refreshTabTitle(java.lang.String path,
LibraryResource collection) |
Refreshes the title of a tab based on the properties of a LibraryCollection
and the path associated with that collection.
|
protected java.lang.String |
save() |
Saves the selected LibraryTreePanel collection.
|
protected java.lang.String |
saveAs() |
Saves the current root resource as a new xml file.
|
protected java.util.Map<LibraryResource,java.util.List<java.lang.String[]>> |
searchCollectionFor(java.lang.String searchPhrase,
LibraryCollection collection) |
Searches a LibraryCollection for matches to a search phrase.
|
protected LibraryTreePanel |
searchFor(java.lang.String searchPhrase,
java.util.Set<LibraryResource> searchTargets) |
Searches a set of LibraryResources for resources matching a search phrase.
|
protected java.util.List<java.lang.String[]> |
searchResourceFor(java.lang.String searchPhrase,
LibraryResource record) |
Searches a LibraryResource for matches to a search phrase.
|
void |
setDLFileFilter(java.io.FileFilter filter) |
Sets the fileFilter used to determine which files are DL resources.
|
void |
setFontLevel(int level) |
Sets the font level.
|
void |
setTitle(java.lang.String title) |
Sets the title of this DL browser.
|
void |
setVisible(boolean vis) |
Sets the visibility of this browser
|
protected void |
showAboutDialog() |
Shows the about dialog.
|
protected void |
showHelp() |
Shows the help frame and displays a help HTML page.
|
action, add, addComponentListener, addFocusListener, addHierarchyBoundsListener, addHierarchyListener, addInputMethodListener, addKeyListener, addMouseListener, addMouseMotionListener, addMouseWheelListener, bounds, checkImage, checkImage, coalesceEvents, contains, createImage, createImage, createVolatileImage, createVolatileImage, disableEvents, dispatchEvent, enable, enableEvents, enableInputMethods, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, getBackground, getBounds, getColorModel, getComponentListeners, getComponentOrientation, getCursor, getDropTarget, getFocusCycleRootAncestor, getFocusListeners, getFocusTraversalKeysEnabled, getFont, getForeground, getGraphicsConfiguration, getHierarchyBoundsListeners, getHierarchyListeners, getIgnoreRepaint, getInputContext, getInputMethodListeners, getInputMethodRequests, getKeyListeners, getLocale, getLocation, getLocationOnScreen, getMouseListeners, getMouseMotionListeners, getMousePosition, getMouseWheelListeners, getName, getParent, getPropertyChangeListeners, getPropertyChangeListeners, getSize, getToolkit, getTreeLock, gotFocus, handleEvent, hasFocus, imageUpdate, inside, isBackgroundSet, isCursorSet, isDisplayable, isEnabled, isFocusable, isFocusOwner, isFocusTraversable, isFontSet, isForegroundSet, isLightweight, isMaximumSizeSet, isMinimumSizeSet, isPreferredSizeSet, isShowing, isValid, isVisible, keyDown, keyUp, list, list, list, location, lostFocus, mouseDown, mouseDrag, mouseEnter, mouseExit, mouseMove, mouseUp, move, nextFocus, paintAll, postEvent, prepareImage, prepareImage, processComponentEvent, processFocusEvent, processHierarchyBoundsEvent, processHierarchyEvent, processInputMethodEvent, processMouseWheelEvent, remove, removeComponentListener, removeFocusListener, removeHierarchyBoundsListener, removeHierarchyListener, removeInputMethodListener, removeKeyListener, removeMouseListener, removeMouseMotionListener, removeMouseWheelListener, removePropertyChangeListener, removePropertyChangeListener, repaint, repaint, repaint, requestFocus, requestFocus, requestFocusInWindow, resize, resize, setBounds, setBounds, setComponentOrientation, setCursor, setDropTarget, setFocusable, setFocusTraversalKeysEnabled, setIgnoreRepaint, setLocale, setLocation, setLocation, setMixingCutoutShape, setName, setSize, setSize, show, show, size, toString, transferFocus, transferFocusBackward, transferFocusUpCycle
add, add, add, add, add, addContainerListener, addImpl, addPropertyChangeListener, addPropertyChangeListener, applyComponentOrientation, areFocusTraversalKeysSet, countComponents, deliverEvent, doLayout, findComponentAt, findComponentAt, getComponent, getComponentAt, getComponentAt, getComponentCount, getComponents, getComponentZOrder, getContainerListeners, getFocusTraversalKeys, getFocusTraversalPolicy, getLayout, getMousePosition, insets, invalidate, isAncestorOf, isFocusCycleRoot, isFocusCycleRoot, isFocusTraversalPolicyProvider, isFocusTraversalPolicySet, layout, list, list, locate, minimumSize, paintComponents, preferredSize, printComponents, processContainerEvent, processEvent, remove, remove, removeAll, removeContainerListener, setComponentZOrder, setFocusCycleRoot, setFocusTraversalPolicy, setFocusTraversalPolicyProvider, setLayout, transferFocusDownCycle, validate, validateTree
addAncestorListener, addNotify, addVetoableChangeListener, computeVisibleRect, contains, createToolTip, disable, enable, firePropertyChange, firePropertyChange, firePropertyChange, fireVetoableChange, getActionForKeyStroke, getActionMap, getAlignmentX, getAlignmentY, getAncestorListeners, getAutoscrolls, getBaseline, getBaselineResizeBehavior, getBorder, getBounds, getClientProperty, getComponentGraphics, getComponentPopupMenu, getConditionForKeyStroke, getDebugGraphicsOptions, getDefaultLocale, getFontMetrics, getGraphics, getHeight, getInheritsPopupMenu, getInputMap, getInputMap, getInputVerifier, getInsets, getInsets, getListeners, getLocation, getMaximumSize, getMinimumSize, getNextFocusableComponent, getPopupLocation, getPreferredSize, getRegisteredKeyStrokes, getRootPane, getSize, getToolTipLocation, getToolTipText, getToolTipText, getTopLevelAncestor, getTransferHandler, getVerifyInputWhenFocusTarget, getVetoableChangeListeners, getVisibleRect, getWidth, getX, getY, grabFocus, hide, isDoubleBuffered, isLightweightComponent, isManagingFocus, isOpaque, isOptimizedDrawingEnabled, isPaintingForPrint, isPaintingOrigin, isPaintingTile, isRequestFocusEnabled, isValidateRoot, paint, paintBorder, paintChildren, paintComponent, paintImmediately, paintImmediately, print, printAll, printBorder, printChildren, printComponent, processComponentKeyEvent, processKeyBinding, processKeyEvent, processMouseEvent, processMouseMotionEvent, putClientProperty, registerKeyboardAction, registerKeyboardAction, removeAncestorListener, removeNotify, removeVetoableChangeListener, repaint, repaint, requestDefaultFocus, requestFocus, requestFocus, requestFocusInWindow, requestFocusInWindow, resetKeyboardActions, reshape, revalidate, scrollRectToVisible, setActionMap, setAlignmentX, setAlignmentY, setAutoscrolls, setBackground, setBorder, setComponentPopupMenu, setDebugGraphicsOptions, setDefaultLocale, setDoubleBuffered, setEnabled, setFocusTraversalKeys, setFont, setForeground, setInheritsPopupMenu, setInputMap, setInputVerifier, setMaximumSize, setMinimumSize, setNextFocusableComponent, setOpaque, setPreferredSize, setRequestFocusEnabled, setToolTipText, setTransferHandler, setUI, setVerifyInputWhenFocusTarget, unregisterKeyboardAction, update
public static final java.lang.String TRACKER_LIBRARY
public static final java.lang.String SHARED_LIBRARY
protected static final java.lang.String AND
protected static final java.lang.String OR
protected static final java.lang.String OPENING
protected static final java.lang.String CLOSING
protected static final java.lang.String MY_LIBRARY_NAME
protected static final java.lang.String MY_COLLECTION_NAME
protected static final java.lang.String LIBRARY_HELP_NAME
protected static final java.lang.String LIBRARY_HELP_BASE
protected static final java.lang.String WINDOWS_OSP_DIRECTORY
protected static final java.lang.String OSP_DIRECTORY
protected static javax.swing.border.Border buttonBorder
protected static boolean webConnected
protected static javax.swing.JFrame frame
protected static javax.swing.JDialog externalDialog
protected static javax.swing.JMenuBar menubar
protected static ResizableIcon expandIcon
protected static ResizableIcon contractIcon
protected static ResizableIcon heavyExpandIcon
protected static ResizableIcon heavyContractIcon
protected static ResizableIcon refreshIcon
protected static final java.io.FileFilter TRACKER_FILTER
protected static javax.swing.filechooser.FileFilter filesAndFoldersFilter
protected static javax.swing.Timer searchTimer
protected static java.lang.String searchTerm
public static boolean fireHelpEvent
protected Library library
protected java.lang.String libraryPath
protected javax.swing.JToolBar toolbar
protected javax.swing.Action commandAction
protected javax.swing.Action searchAction
protected javax.swing.Action openRecentAction
protected javax.swing.JLabel commandLabel
protected javax.swing.JLabel searchLabel
protected javax.swing.JTextField commandField
protected javax.swing.JTextField searchField
protected javax.swing.JMenu fileMenu
protected javax.swing.JMenu recentMenu
protected javax.swing.JMenu collectionsMenu
protected javax.swing.JMenu manageMenu
protected javax.swing.JMenu helpMenu
protected javax.swing.JMenuItem newItem
protected javax.swing.JMenuItem openItem
protected javax.swing.JMenuItem saveItem
protected javax.swing.JMenuItem saveAsItem
protected javax.swing.JMenuItem closeItem
protected javax.swing.JMenuItem closeAllItem
protected javax.swing.JMenuItem exitItem
protected javax.swing.JMenuItem deleteItem
protected javax.swing.JMenuItem collectionsItem
protected javax.swing.JMenuItem searchItem
protected javax.swing.JMenuItem cacheItem
protected javax.swing.JMenuItem aboutItem
protected javax.swing.JMenuItem logItem
protected javax.swing.JMenuItem helpItem
protected javax.swing.JButton commandButton
protected javax.swing.JButton editButton
protected javax.swing.JButton refreshButton
protected java.awt.event.ActionListener loadCollectionAction
protected boolean exitOnClose
protected javax.swing.JTabbedPane tabbedPane
protected javax.swing.JScrollPane htmlScroller
protected java.beans.PropertyChangeListener treePanelListener
protected boolean keyPressed
protected boolean textChanged
protected TextFrame helpFrame
protected javax.swing.JEditorPane htmlAboutPane
protected java.io.FileFilter dlFileFilter
protected boolean isRecentPathXML
protected LibraryManager libraryManager
public static LibraryBrowser getBrowser()
public static LibraryBrowser getBrowser(javax.swing.JDialog dialog)
dialog
- a JDialog (if null, browser is returned in a JFrame)public void setFontLevel(int level)
level
- the desired font levelpublic void importLibrary(java.lang.String path)
path
- the path to the Library xml filepublic void addOSPLibrary(java.lang.String path)
path
- the path to the Library xml filepublic void addComPADRECollection(java.lang.String path)
path
- the ComPADRE querypublic void refreshCollectionsMenu()
public void setTitle(java.lang.String title)
title
- the titlepublic java.io.FileFilter getDLFileFilter()
public void setDLFileFilter(java.io.FileFilter filter)
filter
- the file filter (may be null)public void setVisible(boolean vis)
setVisible
in class javax.swing.JComponent
vis
- true to show, false to hidepublic boolean exit()
protected LibraryManager getManager()
protected LibraryTreePanel getSelectedTreePanel()
protected LibraryTreePanel getTreePanel(int index)
index
- the tab indexprotected java.lang.String getTabTitle(java.lang.String path)
path
- the collection pathprotected java.lang.String getTabTitle(int index)
index
- the tab indexprotected int getTabIndexFromPath(java.lang.String path)
path
- the collection pathprotected int getTabIndexFromTitle(java.lang.String title)
title
- the tab titleprotected void loadTab(java.lang.String path, java.util.List<java.lang.String> treePath)
path
- the pathtreePath
- tree path to select in root-first order (may be null)protected LibraryResource loadResource(java.lang.String path)
path
- the pathprotected LibraryResource createResource(java.io.File targetFile, java.io.File baseDir, java.io.FileFilter filter)
targetFile
- the target filebaseDir
- the base directory for relative pathsfilter
- a FileFilter to determine if the file is a DL library resourceprotected LibraryCollection createCollection(java.io.File targetDir, java.io.File base, java.io.FileFilter filter)
targetDir
- the target directorybase
- the base directory for relative pathsfilter
- a FileFilter to determine which files are DL resourcesprotected org.opensourcephysics.tools.LibraryBrowser.TabLoader addTab(java.lang.String path, java.util.List<java.lang.String> treePath)
path
- the path to the resourcetreePath
- tree path to select in root-first order (may be null)protected void refreshTabTitle(java.lang.String path, LibraryResource collection)
path
- the collection pathcollection
- the LibraryCollection itselfprotected void createGUI()
protected void refreshGUI()
public void refreshRecentMenu()
menu
- the menu to refreshprotected void open()
protected void open(java.lang.String path)
path
- the path to the fileprotected boolean closeTab(int index)
index
- the tab numberprotected java.lang.String save()
protected java.lang.String saveAs()
protected java.lang.String getChooserSavePath(java.lang.String chooserTitle)
chooserTitle
- the title of the file chooserprotected java.util.Set<LibraryResource> getSearchCacheTargets()
protected LibraryTreePanel searchFor(java.lang.String searchPhrase, java.util.Set<LibraryResource> searchTargets)
searchPhrase
- the phrase to matchsearchTargets
- a set of LibraryResources to searchprotected java.util.Map<LibraryResource,java.util.List<java.lang.String[]>> searchCollectionFor(java.lang.String searchPhrase, LibraryCollection collection)
searchPhrase
- the phrasecollection
- the LibraryResourceprotected java.util.List<java.lang.String[]> searchResourceFor(java.lang.String searchPhrase, LibraryResource record)
searchPhrase
- the phraserecord
- the LibraryResourceprotected java.lang.String[] getNextSplit(java.lang.String phrase)
phrase
- a search phraseprotected java.lang.String[] getParenthesisSplit(java.lang.String phrase)
phrase
- a phrase that starts immediately AFTER an opening parenthesisprotected java.util.Map<LibraryResource,java.util.List<java.lang.String[]>> applyAND(java.util.Map<LibraryResource,java.util.List<java.lang.String[]>> results1, java.util.Map<LibraryResource,java.util.List<java.lang.String[]>> results2)
results1
- results2
- protected java.util.Map<LibraryResource,java.util.List<java.lang.String[]>> applyOR(java.util.Map<LibraryResource,java.util.List<java.lang.String[]>> results1, java.util.Map<LibraryResource,java.util.List<java.lang.String[]>> results2)
results1
- results2
- protected void addToCollections(java.lang.String path)
path
- the path to the collectionprotected java.lang.String createNewCollection()
protected java.lang.String getUniqueName(java.lang.String proposed, java.lang.String nameToIgnore)
proposed
- a proposed namenameToIgnore
- a name that is ignored when comparingprotected boolean isDuplicateName(java.lang.String name, java.lang.String nameToIgnore)
name
- the proposed namenameToIgnore
- a name that is ignored when comparingprotected LibraryTreePanel createLibraryTreePanel()
protected void showAboutDialog()
protected void showHelp()
protected java.lang.String getAboutLibraryBrowserText()
public static void main(java.lang.String[] args)
args
- String[] ignoredprotected static boolean isWebConnected()
protected static java.lang.String getRedirectFromHTMLCode(java.lang.String code)
code
- the HTML code