jedit-devel

2019-11-01 - 2019-12-01 (19 messages)

2019-10-01 - 2019-11-01 (41 messages)

2019-09-01 - 2019-10-01 (18 messages)

  1. 2019-10-30  [1] [ jEdit-devel ] [jedit:plugin-feature-requests] #394  jedit-dev Alan Ezust vi
  2. 2019-10-29  [3] [ jEdit-devel ] JEdit.exe and Java versions           jedit-dev Vampire 
  3. 2019-10-26  [1] [ jEdit-devel ] [jedit:plugin-central-submission] #10 jedit-dev Dale Anson vi
  4. 2019-10-25  [3] [ jEdit-devel ] Plugin Releases for Nov. 2019         jedit-dev Eric Berry 
  5. 2019-10-22  [1] Re: [ jEdit-devel ] scrambled menus - solved?         jedit-dev Adam Pease 
  6. 2019-10-21  [2] [ jEdit-devel ] [jedit:patches] #625 Patch for making jedit-dev Yusuke Shinya
  7. 2019-10-19  [4] [ jEdit-devel ] [jedit:plugin-bugs] #1882 Templates 5 jedit-dev Dale Anson vi
  8. 2019-10-19  [8] [ jEdit-devel ] scrambled menus                       jedit-dev Adam Pease 
  9. 2019-10-18 [14] [ jEdit-devel ] Plugin status output                  jedit-dev Adam Pease 
 10. 2019-10-17  [3] Re: [ jEdit-devel ] Plugin with no windows            jedit-dev Adam Pease 
 11. 2019-10-03  [1] [ jEdit-devel ] Plugin Releases for October.          jedit-dev Eric Berry