#474 changing text characteristics

normal bug
closed-fixed
nobody
5
2001-07-01
2001-05-21
tony bigbee
No

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
error.

Discussion

  • Slava Pestov

    Slava Pestov - 2001-07-01

    Logged In: YES
    user_id=2280

    I don't know if you are still interested in getting jEdit to
    work (it's been a month since this bug report...) but I
    think I have fixed the bug. Try installing jEdit 3.2pre4,
    then replace 'jedit.jar' with the one downloaded from this
    location:

    http://www.jedit.org/jedit.jar

     
  • Slava Pestov

    Slava Pestov - 2001-07-01
    • status: open --> closed-fixed
     

Log in to post a comment.

Get latest updates about Open Source Projects, Conferences and News.

Sign up for the SourceForge newsletter:





No, thanks