jedit-devel

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

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

2020-03-01 - 2020-04-01 (26 messages)

  1. 2020-04-30  [7] [ jEdit-devel ] ant dist-win fails...                 jedit-dev Alan Ezust 
  2. 2020-04-28  [3] [ jEdit-devel ] [jedit:bugs] #4093 Regex search does  jedit-dev Matthieu Casa
  3. 2020-04-27  [2] [ jEdit-devel ] [jedit:bugs] Re: #4092 Searching in d jedit-dev Edward Diener
  4. 2020-04-27  [7] [ jEdit-devel ] [jedit:bugs] #4092 Searching in direc jedit-dev Dale Anson vi
  5. 2020-04-27  [1] [ jEdit-devel ] [jedit:feature-requests] #549 Search/ jedit-dev Edward Diener
  6. 2020-04-27  [1] [ jEdit-devel ] [jedit:patches] #496 Patch for bug ID jedit-dev Matthieu Casa
  7. 2020-04-26  [1] [ jEdit-devel ] [jedit:bugs] #4050 download progress  jedit-dev Matthieu Casa
  8. 2020-04-22  [5] [ jEdit-devel ] [jedit:plugin-central-submission] #10 jedit-dev Eric Le Lay v
  9. 2020-04-15  [3] [ jEdit-devel ] [jedit:bugs] #4091 ScreenLineManager  jedit-dev Matthieu Casa
 10. 2020-04-14  [7] [ jEdit-devel ] [jedit:patches] #626 Refactoring with jedit-dev Matthieu Casa
 11. 2020-04-13  [1] [ jEdit-devel ] Searching in directory problem        jedit-dev Edward Diener
 12. 2020-04-07  [1] [ jEdit-devel ] [jedit:patches] Re: #626 Refactoring  jedit-dev Dale Anson vi
 13. 2020-04-03  [3] [ jEdit-devel ] Quarantine                            jedit-dev Eric Le Lay 
 14. 2020-04-01  [1] [ jEdit-devel ] [jedit:plugin-feature-requests] #396  jedit-dev Donat Callens