From: SourceForge.net <no...@so...> - 2004-07-27 19:35:49
|
Bugs item #998961, was opened at 2004-07-27 13:35 Message generated for change (Tracker Item Submitted) made by Item Submitter You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=438935&aid=998961&group_id=44253 Category: Definitions (source editor) Group: Annoying Status: Open Resolution: None Priority: 5 Submitted By: R. Matt Barnett (rmbarnett) Assigned to: Nobody/Anonymous (nobody) Summary: Open comment not "auto *'ed" on paste. Initial Comment: Say I open a comment in DrJava: /** * * ... Every time I press "enter" DrJava starts the line with a star for me. This is *great* esp when I'm writing javadoc comments. However, many times I am crafting a list in my javadoc and doing so outside Dr. Java in an HTML editor such that I know the list "looks right" before I paste into my source and run javadoc. However, when I do the paste, Dr. Java will not auto star the text pasted into the comment and I am left to do it myself: /** * * I wrote this in Dr. Java. * and this... but I pasted this in as well as this. This would make a good "starter project" for 312.... but as I understand there is no 312 next year right? ---------------------------------------------------------------------- You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=438935&aid=998961&group_id=44253 |