err
public void err(String msg)
getContentPane
public Container getContentPane()
getFreeMindMenuBar
public MenuBar getFreeMindMenuBar()
getFreemindDirectory
public String getFreemindDirectory()
Returns the path to the directory the freemind auto properties are in, or null, if not present.
getFreemindVersion
public String getFreemindVersion()
getLayeredPane
public JLayeredPane getLayeredPane()
getLogger
public java.util.logging.Logger getLogger(String forClass)
getPatternsFile
public File getPatternsFile()
getProperty
public String getProperty(String key)
getResource
public URL getResource(String name)
getResources
public ResourceBundle getResources()
Returns the ResourceBundle with the current language
getViewport
public Container getViewport()
getWinHeight
public int getWinHeight()
getWinState
public int getWinState()
getWinWidth
public int getWinWidth()
isApplet
public boolean isApplet()
openDocument
public void openDocument(URL location)
throws Exception
Open url in WWW browser. This method hides some differences between operating systems.
out
public void out(String msg)
repaint
public void repaint()
remove this!
saveProperties
public void saveProperties()
setProperty
public void setProperty(String key,
String value)
setTitle
public void setTitle(String title)
setView
public void setView(MapView view)
setWaitingCursor
public void setWaitingCursor(boolean waiting)