jedit-devel

2019-06-01 - 2019-07-01 (45 messages)

2019-05-01 - 2019-06-01 (43 messages)

2019-04-01 - 2019-05-01 (17 messages)

  1. 2019-05-29  [2] [ jEdit-devel ] [jedit:plugin-central-submission] #10 jedit-dev Makarius via 
  2. 2019-05-29  [5] Re: [ jEdit-devel ] plugin for macOS                  jedit-dev Alan Ezust 
  3. 2019-05-29  [6] [ jEdit-devel ] Oracle Licensing                      jedit-dev Michael H 
  4. 2019-05-29  [3] [ jEdit-devel ] Changing L&F in OpenJDK 11            jedit-dev Dale Anson 
  5. 2019-05-28  [1] [ jEdit-devel ] [jedit:bugs] #4082 Windows 10: NPE in jedit-dev Makarius via 
  6. 2019-05-28  [4] Re: [ jEdit-devel ] Java 11                           jedit-dev Alan Ezust 
  7. 2019-05-28  [7] [ jEdit-devel ] Switch to JavaFX                      jedit-dev Alan Ezust 
  8. 2019-05-24  [1] [ jEdit-devel ] [jedit:plugin-bugs] #1843 PHP 5.4+ sh jedit-dev Mike McCallis
  9. 2019-05-15  [1] [ jEdit-devel ] jenkins gave me watchbog              jedit-dev Alan Ezust 
 10. 2019-05-14  [1] [ jEdit-devel ] [jedit:bugs] #4081 File Browser's col jedit-dev SAI SUBASH MA
 11. 2019-05-10  [1] [ jEdit-devel ] [jedit:plugin-bugs] #1888 PHPParser - jedit-dev James Booth v
 12. 2019-05-08  [1] [ jEdit-devel ] [jedit:patches] #622 Update of Drawj2 jedit-dev A. Vontobel v
 13. 2019-05-06  [5] [ jEdit-devel ] [jedit:bugs] Re: #4072 Java 10 suppor jedit-dev Dale Anson vi
 14. 2019-05-06  [1] Re: [ jEdit-devel ] [jedit:bugs] #4072 Java 10 suppor jedit-dev James 
 15. 2019-05-02  [3] [ jEdit-devel ] Revisiting Moving to Git (NOT GitHub) jedit-dev Eric Berry 
 16. 2019-05-01  [1] [ jEdit-devel ] Plugin Releases for May, 2019         jedit-dev Eric Berry