jedit-devel

2017-02-01 - 2017-03-01 (60 messages)

2017-01-01 - 2017-02-01 (33 messages)

2016-12-01 - 2017-01-01 (6 messages)

  1. 2017-01-30  [7] [ jEdit-devel ] [jedit:plugin-feature-requests] #379  jedit-dev Alan Ezust 
  2. 2017-01-22  [1] [ jEdit-devel ] [jedit:bugs] #3464 First view brought jedit-dev Alan Ezust 
  3. 2017-01-22  [1] [ jEdit-devel ] [jedit:bugs] #3789 Windows installer  jedit-dev Alan Ezust 
  4. 2017-01-20  [3] Re: [ jEdit-devel ] Windows installer and java versio jedit-dev Vampire 
  5. 2017-01-20  [2] [ jEdit-devel ] [jedit:jeditlauncher-bugs] #47 jEdit  jedit-dev Björn Kautle
  6. 2017-01-20  [3] [ jEdit-devel ] why so many broken plugin download mi jedit-dev Vampire 
  7. 2017-01-20  [1] [ jEdit-devel ] A problem on the plugin-build.xml     jedit-dev mengjun.li 
  8. 2017-01-19  [3] [ jEdit-devel ] button, menu items, font size.        jedit-dev Eric Berry 
  9. 2017-01-19  [2] [ jEdit-devel ] [jedit:bugs] #4027 Sorting files in t jedit-dev Robert Schwen
 10. 2017-01-18  [2] [ jEdit-devel ] [jedit:feature-requests] #486 Featu8r jedit-dev Andreas Stude
 11. 2017-01-15  [2] [ jEdit-devel ] [jedit:plugin-central-submission] #10 jedit-dev Eric Le Lay 
 12. 2017-01-15  [1] [ jEdit-devel ] [jedit:plugin-bugs] #1869 XML Plugin  jedit-dev Eric Le Lay 
 13. 2017-01-10  [1] [ jEdit-devel ] [jedit:patches] #594 Updated batch.xm jedit-dev Jean-Francois
 14. 2017-01-05  [2] Re: [ jEdit-devel ] Starting jedit on Windows using ' jedit-dev Edward Diener
 15. 2017-01-05  [1] [ jEdit-devel ] [jedit:plugin-bugs] #1319 Error - con jedit-dev Steve Jakob 
 16. 2017-01-05  [1] [ jEdit-devel ] [jedit:plugin-bugs] #1829 Jakarta Com jedit-dev Steve Jakob