freemind.main
Interface FreeMindMain

All Known Implementing Classes:

FreeMind, FreeMindApplet

public interface FreeMindMain

Method Summary

void	err(java.lang.String msg)
java.awt.Container	getContentPane()
Controller	getController()
MenuBar	getFreeMindMenuBar()
javax.swing.JLayeredPane	getLayeredPane()
java.io.File	getPatternsFile()
java.lang.String	getProperty(java.lang.String key)
java.net.URL	getResource(java.lang.String name)
java.util.ResourceBundle	getResources() Returns the ResourceBundle with the current language
MapView	getView()
java.awt.Container	getViewport()
int	getWinHeight()
int	getWinState()
int	getWinWidth()
boolean	isApplet()
void	openDocument(java.net.URL location) Open url in WWW browser.
void	out(java.lang.String msg)
void	repaint() remove this!
void	saveProperties()
void	setProperty(java.lang.String key, java.lang.String value)
void	setTitle(java.lang.String title)
void	setView(MapView view)
void	setWaitingCursor(boolean waiting)

Method Detail

isApplet

public boolean isApplet()

getView

public MapView getView()

setView

public void setView(MapView view)

getController

public Controller getController()

setWaitingCursor

public void setWaitingCursor(boolean waiting)

getPatternsFile

public java.io.File getPatternsFile()

getFreeMindMenuBar

public MenuBar getFreeMindMenuBar()

getResources

public java.util.ResourceBundle getResources()

Returns the ResourceBundle with the current language

getContentPane

public java.awt.Container getContentPane()

out

public void out(java.lang.String msg)

err

public void err(java.lang.String msg)

openDocument

public void openDocument(java.net.URL location)
                  throws java.lang.Exception

Open url in WWW browser. This method hides some differences between operating systems.

Throws:

java.lang.Exception

repaint

public void repaint()

remove this!

getResource

public java.net.URL getResource(java.lang.String name)

getProperty

public java.lang.String getProperty(java.lang.String key)

setProperty

public void setProperty(java.lang.String key,
                        java.lang.String value)

saveProperties

public void saveProperties()

getLayeredPane

public javax.swing.JLayeredPane getLayeredPane()

getViewport

public java.awt.Container getViewport()

setTitle

public void setTitle(java.lang.String title)

getWinHeight

public int getWinHeight()

getWinWidth

public int getWinWidth()

getWinState

public int getWinState()