freemind.main
public class FreeMindApplet extends JApplet implements FreeMindMain
| Field Summary | |
|---|---|
| static Properties | defaultProps |
| URL | defaultPropsURL |
| static Properties | userProps |
| static String | version |
| Constructor Summary | |
|---|---|
| FreeMindApplet() | |
| Method Summary | |
|---|---|
| void | err(String msg) |
| Controller | getController() |
| String | getFreemindDirectory() |
| String | getFreemindVersion() |
| MenuBar | getFreeMindMenuBar() |
| Logger | getLogger(String forClass) |
| static int | getMaxNodeWidth() |
| File | getPatternsFile() |
| String | getProperty(String key) |
| URL | getResource(String name) |
| ResourceBundle | getResources()
Returns the ResourceBundle with the current language |
| MapView | getView() |
| Container | getViewport() |
| int | getWinHeight() |
| int | getWinState() |
| int | getWinWidth() |
| void | init() |
| boolean | isApplet() |
| void | openDocument(URL doc) |
| void | out(String msg) |
| void | saveProperties() |
| void | setProperty(String key, String value) |
| void | setTitle(String title) |
| void | setView(MapView view) |
| void | setWaitingCursor(boolean waiting) |
| void | start() |