A Quick Start Guide to DrJava | ||
---|---|---|
<<< Previous | The Preferences Menu | Next >>> |
The Notifications menu lets you say whether or not you want notifications on certain actions. This is the place to come if you accidentally turn off a warning and want to turn it back on.
<<< Previous | Home | Next >>> |
Javadoc | Up | Miscellaneous Menu |