jedit-devel

2018-02-01 - 2018-03-01 (51 messages)

2018-01-01 - 2018-02-01 (53 messages)

2017-12-01 - 2018-01-01 (118 messages)

  1. 2018-01-31  [3] [ jEdit-devel ] [jedit:plugin-bugs] #1900 Project Vie jedit-dev Juergen Weber
  2. 2018-01-26  [3] [ jEdit-devel ] [jedit:feature-requests] #534 Flag fo jedit-dev Roman Tsouric
  3. 2018-01-26  [3] [ jEdit-devel ] [jedit:patches] #615 feature #534 Fla jedit-dev Roman Tsouric
  4. 2018-01-26  [2] [ jEdit-devel ] [jedit:jeditlauncher-bugs] #48 jEdit  jedit-dev Björn Kautle
  5. 2018-01-25  [7] [ jEdit-devel ] [jedit:plugin-central-submission] #10 jedit-dev Dale Anson vi
  6. 2018-01-25  [2] [ jEdit-devel ] Fwd: jEdit release?                   jedit-dev Alan Ezust 
  7. 2018-01-25  [3] [ jEdit-devel ] [jedit:bugs] #4061 Project Viewer inc jedit-dev Eric Le Lay v
  8. 2018-01-24  [1] [ jEdit-devel ] Plugin Releases for February          jedit-dev Eric Berry 
  9. 2018-01-23 [15] [ jEdit-devel ] [jedit:plugin-bugs] #1897 JDiff: Norm jedit-dev Ronald via jE
 10. 2018-01-22  [1] [ jEdit-devel ] [jedit:plugin-bugs] Re: #1898 Console jedit-dev Alan Ezust vi
 11. 2018-01-20  [1] [ jEdit-devel ] [jedit:bugs] #4060 Replace text in al jedit-dev Axel Schwank 
 12. 2018-01-12  [5] [ jEdit-devel ] [jedit:bugs] #4059 Untitled buffer no jedit-dev Makarius via 
 13. 2018-01-11  [4] [ jEdit-devel ] [jedit:patches] #569 Allow specificat jedit-dev Rafal Kolansk
 14. 2018-01-10  [1] [ jEdit-devel ] [jedit:bugs] Re: #4059 Untitled buffe jedit-dev Alan Ezust vi
 15. 2018-01-05  [1] [ jEdit-devel ] [jedit:patches] #614 Proliferation of jedit-dev Hrotkó Gábo
 16. 2018-01-04  [1] [ jEdit-devel ] [jedit:bugs] #4004 ClassCastException jedit-dev Jeremy Whitin