Menu
▾
▴
#299 Open comment not "auto *'ed" on paste.
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?
Logged In: YES
user_id=697810
Eh? No 312?
Anyway, I don't necessarily agree that the right thing to do
is automtically format pasted-in text. Visual Studio does
this and it annoys the you-know-what out of me. I think it
would be neat if it tried to add in the correct *'s or
whatever upon hitting tab or something. Maybe we could add
an option to "format region" rather than just indenting.
Not sure what other bells and whistles we could toss in to
make this better though.