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
|
