jedit-devel

2020-06-01 - 2020-07-01 (42 messages)

2020-05-01 - 2020-06-01 (67 messages)

2020-04-01 - 2020-05-01 (43 messages)

  1. 2020-05-31 [12] [ jEdit-devel ] [jedit:plugin-central-submission] #10 jedit-dev Eric Le Lay v
  2. 2020-05-31  [1] [ jEdit-devel ] [jedit:jeditlauncher-bugs] #50 jEdit  jedit-dev Agas Renoir v
  3. 2020-05-31  [1] [ jEdit-devel ] [jedit:bugs] #4086 One of open files  jedit-dev Jaco de Groot
  4. 2020-05-29 [18] [ jEdit-devel ] Text drawing speedup                  jedit-dev Matthieu Casa
  5. 2020-05-26 [14] [ jEdit-devel ] [jedit:feature-requests] #550 BeanShe jedit-dev Dale Anson vi
  6. 2020-05-26  [3] [ jEdit-devel ] [jedit:plugin-bugs] Re: #1910 JavaMac jedit-dev ruanjiaxing v
  7. 2020-05-26  [1] [ jEdit-devel ] [jedit:bugs] #4095 Improved File Mana jedit-dev Ricardo JL Ru
  8. 2020-05-24  [3] [ jEdit-devel ] [jedit:plugin-bugs] #1910 JavaMacros  jedit-dev Dale Anson vi
  9. 2020-05-10  [4] [ jEdit-devel ] [jedit:bugs] #3854 Windows line endin jedit-dev Matthieu Casa
 10. 2020-05-09  [7] [ jEdit-devel ] [jedit:bugs] #4094 jEdit 5.5.0 does n jedit-dev Thiemo Kellne
 11. 2020-05-03  [1] Re: [ jEdit-devel ] ant dist-win fails...             jedit-dev Vampire 
 12. 2020-05-02  [1] [ jEdit-devel ] [jedit:bugs] #3932 createTextArea() f jedit-dev Matthieu Casa
 13. 2020-05-02  [1] [ jEdit-devel ] [jedit:bugs] #3912 Crashes with JDK9  jedit-dev Matthieu Casa