|
|||||||||
PREV NEXT | FRAMES NO FRAMES |
Deprecated Fields | |
---|---|
bluej.extensions.event.InvocationEvent.FORCED_EXIT
|
Deprecated Methods | |
---|---|
bluej.extensions.BClass.beginChangeSource()
As of BlueJ 2.0, replaced by Editor.setReadOnly(boolean readOnly) |
|
bluej.extensions.BClass.endChangeSource()
As of BlueJ 2.0, replaced by Editor.setReadOnly(boolean readOnly) |
|
bluej.extensions.MenuGenerator.getMenuItem()
As of BlueJ 1.3.5, replaced by MenuGenerator.getToolsMenuItem(BPackage bp) |
|
bluej.extensions.BField.matches(String)
|
|
|||||||||
PREV NEXT | FRAMES NO FRAMES |