HTMLarea is no longer maintained anymore and, for this reason (I believe), it's due to be replaced with FCKeditor in the 2.0 release.

Given the above, I doubt that this bug will be fixed.