1. 2016-01-31 [54] [ jEdit-devel ] [jedit:plugin-bugs] #1831 XML plugin jedit-dev Eric Le Lay 2. 2016-01-30 [18] [ jEdit-devel ] [jedit:plugin-feature-requests] #357 jedit-dev Eric Le Lay 3. 2016-01-30 [1] [ jEdit-devel ] [jedit:plugin-bugs] #1238 jre issue w jedit-dev Eric Le Lay 4. 2016-01-30 [1] [ jEdit-devel ] [jedit:plugin-bugs] #1219 XML: tag co jedit-dev Eric Le Lay 5. 2016-01-30 [1] [ jEdit-devel ] [jedit:bugs] #3858 Russian Locale bre jedit-dev Eric Le Lay 6. 2016-01-28 [1] [ jEdit-devel ] [jedit:bugs] #3947 Loosing title afte jedit-dev Metotron 7. 2016-01-26 [4] [ jEdit-devel ] [jedit:plugin-bugs] Re: #1831 XML plu jedit-dev snarum 8. 2016-01-25 [1] [ jEdit-devel ] [jedit:plugin-bugs] #1823 jythoninter jedit-dev Alan Ezust 9. 2016-01-23 [2] [ jEdit-devel ] [jedit:bugs] #3946 windows installer jedit-dev Jan Jurkus 10. 2016-01-22 [1] [ jEdit-devel ] [jedit:bugs] #3945 Moving down lines jedit-dev Metotron 11. 2016-01-21 [3] [ jEdit-devel ] [jedit:plugin-central-submission] #10 jedit-dev Alan Ezust 12. 2016-01-20 [3] [ jEdit-devel ] [jedit:plugin-bugs] #1685 Markdown: l jedit-dev UR6LAD 13. 2016-01-20 [3] [ jEdit-devel ] [jedit:feature-requests] #504 Opened jedit-dev Alexander Bru 14. 2016-01-17 [4] [ jEdit-devel ] [jedit:bugs] #3944 Plugin manager gui jedit-dev Heklaz 15. 2016-01-13 [1] Re: [ jEdit-devel ] Global font scaling? jedit-dev Makarius 16. 2016-01-05 [1] [ jEdit-devel ] Determining the Shortcut Used to Invo jedit-dev Jesse Pavel 17. 2016-01-04 [1] [ jEdit-devel ] [jedit:plugin-patches] #178 GroovyShe jedit-dev Evgeny Roubin 18. 2016-01-01 [1] [ jEdit-devel ] [jedit:bugs] #3916 ArrayIndexOutOfBou jedit-dev Dale Anson 19. 2016-01-01 [1] [ jEdit-devel ] [jedit:bugs] #3911 When saving a buff jedit-dev Dale Anson 20. 2016-01-01 [1] [ jEdit-devel ] [jedit:bugs] #3903 jEdit pops up hidd jedit-dev Dale Anson 21. 2016-01-01 [1] [ jEdit-devel ] [jedit:bugs] #3922 Move jEdit source jedit-dev Dale Anson 22. 2016-01-01 [2] [ jEdit-devel ] [jedit:bugs] #3923 path of auto-save jedit-dev Dale Anson