After any compilation error (Java compile plugin with tools.jar in lib/ext), text coloring, bolding, and
characteristics of entire text buffer oscillate when when changing text. Using JDK 1.3.0_02,
Win2k, Win NT 4.0 SP5, and Jedit 3.1. Closing jedit and restarting "alleviates" problem.
The text switches from bold to unbold or vice versa as soon as I click any drop down menu in the
interface bar. Clicking in any particular area sometimes debolds some text after the compilation
Log in to post a comment.