jedit-devel

2019-07-01 - 2019-08-01 (13 messages)

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

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

  1. 2019-06-30  [1] [ jEdit-devel ] [jedit:plugin-central-submission] #10 jedit-dev Townsfolk via
  2. 2019-06-26 [23] [ jEdit-devel ] Java 11 for next release?             jedit-dev Dale Anson 
  3. 2019-06-26  [2] [ jEdit-devel ] [jedit:bugs] #4083 Only the first mat jedit-dev Dale Anson vi
  4. 2019-06-18  [1] [ jEdit-devel ] [jedit:patches] #623 patch for #4083  jedit-dev funa take via
  5. 2019-06-12  [2] [ jEdit-devel ] Plugin Releases for June, 2019        jedit-dev Eric Berry 
  6. 2019-06-12  [2] [ jEdit-devel ] [jedit:feature-requests] #528 PlantUM jedit-dev Dale Anson vi
  7. 2019-06-04  [4] [ jEdit-devel ] [jedit:bugs] #4074 alt modifier key d jedit-dev Alan Ezust vi
  8. 2019-06-04  [2] [ jEdit-devel ] [jedit:bugs] Re: #4074 alt modifier k jedit-dev Makarius via 
  9. 2019-06-04  [3] [ jEdit-devel ] [jedit:bugs] #4081 File Browser's col jedit-dev Dale Anson vi
 10. 2019-06-04  [1] [ jEdit-devel ] [jedit:plugin-patches] #186 MacOSX: s jedit-dev Makarius via 
 11. 2019-06-03  [3] Re: [ jEdit-devel ] Java 11                           jedit-dev Makarius 
 12. 2019-06-03  [1] Re: [ jEdit-devel ] Changing L&F in OpenJDK 11        jedit-dev Dale Anson