jedit-devel

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

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

2017-11-01 - 2017-12-01 (166 messages)

 Next  Last 

  1. 2017-12-31  [1] [ jEdit-devel ] [jedit:bugs] #4058 menu alt shortcuts jedit-dev Roman Tsouric
  2. 2017-12-31 [12] [ jEdit-devel ] [jedit:feature-requests] #518 buffer  jedit-dev Roman Tsouric
  3. 2017-12-31  [1] [ jEdit-devel ] [jedit:bugs] #4050 download progress  jedit-dev Roman Tsouric
  4. 2017-12-31  [8] [ jEdit-devel ] [jedit:patches] #613 javascript mode  jedit-dev Roman Tsouric
  5. 2017-12-30  [4] [ jEdit-devel ] [jedit:patches] #612 feature #518 buf jedit-dev Alan Ezust vi
  6. 2017-12-30 [28] [ jEdit-devel ] [jedit:plugin-feature-requests] #388  jedit-dev Alan Ezust vi
  7. 2017-12-30  [8] [ jEdit-devel ] [jedit:plugin-central-submission] #10 jedit-dev Alan Ezust vi
  8. 2017-12-30  [1] [ jEdit-devel ] [jedit:bugs] #3249 assembler-x86 comm jedit-dev Roman Tsouric
  9. 2017-12-30  [2] [ jEdit-devel ] [jedit:patches] #611 fix #3249 assemb jedit-dev Roman Tsouric
 10. 2017-12-30  [1] [ jEdit-devel ] [jedit:bugs] #4054 hash comment highl jedit-dev Roman Tsouric
 11. 2017-12-30  [1] [ jEdit-devel ] [jedit:patches] #610 fix #4054 hash c jedit-dev Roman Tsouric
 12. 2017-12-30  [1] [ jEdit-devel ] [jedit:bugs] #2194 ASP Syntax highlig jedit-dev Roman Tsouric
 13. 2017-12-30  [1] [ jEdit-devel ] [jedit:patches] #609 fix #2194 ASP Sy jedit-dev Roman Tsouric
 14. 2017-12-30  [1] [ jEdit-devel ] [jedit:patches] #608 fix #2106 PHP mo jedit-dev Roman Tsouric
 15. 2017-12-29  [1] [ jEdit-devel ] [jedit:plugin-bugs] #1877 SVNPlugin 1 jedit-dev Robert Schwen
 16. 2017-12-29  [2] [ jEdit-devel ] [jedit:plugin-bugs] #1861 php ArrayIn jedit-dev Alan Ezust vi
 17. 2017-12-29  [2] [ jEdit-devel ] =?utf-8?q?=5Bjedit=3Aplugin-bugs=5D_= jedit-dev Alan Ezust vi
 18. 2017-12-29  [3] [ jEdit-devel ] [jedit:plugin-bugs] #1893 phpparser f jedit-dev Alan Ezust vi
 19. 2017-12-29  [4] [ jEdit-devel ] jEdit 5.5 release scheduled for Janua jedit-dev Alan Ezust 
 20. 2017-12-29  [4] [ jEdit-devel ] [jedit:patches] #614 Proliferation of jedit-dev Alan Ezust vi
 21. 2017-12-26  [1] [ jEdit-devel ] Plugin Releases for January.          jedit-dev Eric Berry 
 22. 2017-12-23  [5] [ jEdit-devel ] [jedit:bugs] #4056 Proliferation of U jedit-dev Hrotkó Gábo
 23. 2017-12-17  [1] [ jEdit-devel ] [jedit:plugin-bugs] #1888 PHPParser - jedit-dev Matthieu Casa
 24. 2017-12-17  [1] [ jEdit-devel ] [jedit:plugin-bugs] #1753 PHPParser d jedit-dev Matthieu Casa
 25. 2017-12-17  [1] [ jEdit-devel ] [jedit:plugin-bugs] #1843 PHP 5.4+ sh jedit-dev Matthieu Casa
 26. 2017-12-07  [3] [ jEdit-devel ] [jedit:bugs] Re: #2791 Perl Mode - sl jedit-dev Przemek Wesol
 27. 2017-12-07  [1] [ jEdit-devel ] [jedit:bugs] #4052 Crash on reload on jedit-dev Makarius via 
 28. 2017-12-07  [1] [ jEdit-devel ] [jedit:bugs] #4057 Print margins keep jedit-dev Adrian Wadey 
 29. 2017-12-06  [2] [ jEdit-devel ] Thanks, Eric!                         jedit-dev Eric Berry 
 30. 2017-12-06  [2] [ jEdit-devel ] [jedit:bugs] #2791 Perl Mode - sluggi jedit-dev Roman Tsouric

 Next  Last