[jdt-doc-dev] Patch for JDT tips and tricks

["John Arthorne" <John_Arthorne@xxxxxxxxxx>]

Here is a patch file with some minor corrections to the JDT "Tips and tricks".  They are mostly grammatical or typographical errors, but there are a couple of "real" errors.  For example, some menu action references refer to wrong menus.  This patch was made against revision 1.34



Also, the "Controlling your console" screen shot looks like it was created on a different platform, so it doesn't really fit in nicely with the other shots.

Attachment: jdt-tips.diff
Description: Binary data