#813 The # key does nothing

[Anonymous]

While creating the code, you would normally have to use alt(option) + 3 to produce a #, unfortunately, in DrJava you cannot do this, you can do it in the file name, but not in the main body, or while testing in the compiler at the bottom.

[Mathias Ricken]

Is this on a non-US keyboard?