D/tokenmarker////
/DefaultInputHandler.java/1.2/Tue Jun 17 14:18:04 2003//
/InputHandler.java/1.2/Tue Jun 17 14:18:04 2003//
/JEditTextArea.java/1.2/Tue Jun 17 14:18:04 2003//
/KeywordMap.java/1.2/Tue Jun 17 14:18:04 2003//
/SyntaxDocument.java/1.2/Tue Jun 17 14:18:04 2003//
/SyntaxStyle.java/1.2/Tue Jun 17 14:18:04 2003//
/SyntaxUtilities.java/1.2/Tue Jun 17 14:18:04 2003//
/TextAreaPainter.java/1.2/Tue Jun 17 14:18:04 2003//
/TextUtilities.java/1.2/Tue Jun 17 14:18:04 2003//
/.nbattrs/1.1.1.1/Mon Jun 16 21:09:18 2003//
/TextAreaDefaults.java/1.1.1.1/Mon Jun 16 21:09:19 2003//
