Bug in Arduino IDE 1.0

Is there any "known issues" page i can peek into ?

many are only mentioned on the forum,

All it takes to submit an "official" issue is a free google code account. (Of course the other side of that issue is that not all the "issues" are more valid than random forum comments.)

I try to submit official issues for particularly obscure and "definitely a bug" problems that I see in the forums, because I'm a big fan of official bug tracking systems, but I don't read everything.

(This particular bug has been discussed in the forums before, as well. But I don't think that the forum "search" function likes search terms consisting entirely of punctuation!)