User Activity

  • Modified ticket #3913 on jEdit

    beanshell do-while loop bug

  • Posted a comment on ticket #3913 on jEdit

    fixed in [r24162] For the record, here is the example triggering the endless loop:...

  • Modified ticket #572 on jEdit

    Patch for bug #3913 (beanshell do-while loop bug)

  • Posted a comment on ticket #572 on jEdit

    applied in [r24162]. Thanks for the patch :-)

  • Committed [r24163]

    Java_File_Save accepts content after class name

  • Committed [r24162]

    apply #572 Patch for bug #3913 (beanshell do-wh...

  • Modified ticket #3910 on jEdit

    jEdit crashes to desktop on opening a file of exactly right (wrong) pathname length

  • Posted a comment on ticket #3910 on jEdit

    Can't reproduce using a windows 7 VM from with latest java 1.8 update 65...

View All

Personal Data

2007-02-22 09:43:18


  • Project Logo gPodder Downloads   Last Updated:
  • Project Logo jEdit jEdit is a programmer's text editor written in Java. Last Updated:


  • No skills entered.