jedit-devel

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

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

2020-02-01 - 2020-03-01 (12 messages)

  1. 2020-03-31  [1] [ jEdit-devel ] [jedit:patches] #569 Allow specificat jedit-dev Matthieu Casa
  2. 2020-03-29  [1] [ jEdit-devel ] [jedit:bugs] #3770 NullPointerExcepti jedit-dev Matthieu Casa
  3. 2020-03-28  [1] [ jEdit-devel ] [jedit:patches] #568 Consolidate mous jedit-dev Matthieu Casa
  4. 2020-03-28  [9] [ jEdit-devel ] [jedit:plugin-central-submission] #10 jedit-dev Eric Le Lay v
  5. 2020-03-27  [1] [ jEdit-devel ] [jedit:patches] #623 patch for #4083  jedit-dev Matthieu Casa
  6. 2020-03-21  [2] [ jEdit-devel ] [jedit:bugs] #3952 Crash safety       jedit-dev Matthieu Casa
  7. 2020-03-21  [1] [ jEdit-devel ] [jedit:bugs] #3880 Syntax Highlightin jedit-dev Matthieu Casa
  8. 2020-03-10  [1] [ jEdit-devel ] [jedit:bugs] #4010 shift-delete of fi jedit-dev Matthieu Casa
  9. 2020-03-10  [1] [ jEdit-devel ] [jedit:bugs] #4075 Accessibility Issu jedit-dev Matthieu Casa
 10. 2020-03-09  [1] [ jEdit-devel ] [jedit:patches] #622 Update of Drawj2 jedit-dev Matthieu Casa
 11. 2020-03-09  [1] [ jEdit-devel ] [jedit:patches] #621 plantuml syntax  jedit-dev Matthieu Casa
 12. 2020-03-09  [1] [ jEdit-devel ] [jedit:patches] #625 Patch for making jedit-dev Matthieu Casa
 13. 2020-03-08  [1] [ jEdit-devel ] [jedit:bugs] #4087 JEdit won't open f jedit-dev Matthieu Casa
 14. 2020-03-08  [1] [ jEdit-devel ] [jedit:bugs] #3688 Horizontal scrolli jedit-dev Matthieu Casa
 15. 2020-03-08  [2] [ jEdit-devel ] [jedit:bugs] #4083 Only the first mat jedit-dev Matthieu Casa
 16. 2020-03-02  [1] [ jEdit-devel ] [jedit:plugin-bugs] #1884 Highlight:  jedit-dev Matthieu Casa