jedit-devel

2014-04-01 - 2014-05-01 (274 messages)

2014-03-01 - 2014-04-01 (93 messages)

2014-02-01 - 2014-03-01 (83 messages)

  1. 2014-03-31  [6] [ jEdit-devel ] [jedit:plugin-bugs] #1735 ProjectView jedit-dev Alan Ezust 
  2. 2014-03-31  [2] [ jEdit-devel ] [jedit:plugin-bugs] #1758 Common Cont jedit-dev Dale Anson 
  3. 2014-03-31  [5] [ jEdit-devel ] [jedit:patches] #518 Improved layout  jedit-dev Dale Anson 
  4. 2014-03-31  [6] [ jEdit-devel ] [jedit:bugs] #3810 The comment charac jedit-dev Dale Anson 
  5. 2014-03-31  [6] [ jEdit-devel ] [jedit:plugin-central-submission] #93 jedit-dev Alan Ezust 
  6. 2014-03-31  [2] [ jEdit-devel ] [jedit:patches] #505 Fix for the scro jedit-dev Alan Ezust 
  7. 2014-03-30  [4] [ jEdit-devel ] [jedit:patches] #519 Allow splash scr jedit-dev Eric Le Lay 
  8. 2014-03-30  [2] [ jEdit-devel ] [jedit:patches] #520 Selecting line f jedit-dev Alan Ezust 
  9. 2014-03-30  [2] [ jEdit-devel ] [jedit:patches] #521 Focus the text a jedit-dev Alan Ezust 
 10. 2014-03-27  [1] [ jEdit-devel ] jEdit 5.2 release plan                jedit-dev Alan Ezust 
 11. 2014-03-27 [14] [ jEdit-devel ] [jedit:plugin-bugs] #1775 XML javacc  jedit-dev Hong Xu 
 12. 2014-03-25 [20] [ jEdit-devel ] [jedit:feature-requests] #480 keep fo jedit-dev Alan Ezust 
 13. 2014-03-25  [1] [ jEdit-devel ] [jedit:bugs] #3688 Horizontal scrolli jedit-dev Alan Ezust 
 14. 2014-03-24  [1] [ jEdit-devel ] [jedit:bugs] #3804 javadoc 1.7 genera jedit-dev Alan Ezust 
 15. 2014-03-24  [1] [ jEdit-devel ] [jedit:bugs] #2420 non-English modifi jedit-dev Alan Ezust 
 16. 2014-03-24  [3] [ jEdit-devel ] [jedit:bugs] #3848 jEdit ignores key  jedit-dev Alan Ezust 
 17. 2014-03-24  [3] [ jEdit-devel ] Advice needed concerning JEdit plugin jedit-dev Dale Anson 
 18. 2014-03-19  [4] [ jEdit-devel ] [jedit:bugs] #3852 Save As: filename  jedit-dev Petr 
 19. 2014-03-13  [3] [ jEdit-devel ] [jedit:bugs] #3841 jEdit.app doesn't  jedit-dev Alan Ezust 
 20. 2014-03-10  [3] [ jEdit-devel ] [jedit:bugs] #3853 BufferedList missi jedit-dev James Calfee 
 21. 2014-03-09  [1] [ jEdit-devel ] [jedit:plugin-bugs] #1710 CSS Sidekic jedit-dev RBV 
 22. 2014-03-07  [1] [ jEdit-devel ] [jedit:bugs] Re: #3852 Save As: filen jedit-dev terencehill 
 23. 2014-03-06  [1] Re: [ jEdit-devel ] [ jedit-Bugs-3440409 ] Painting a jedit-dev Manfred Ussel
 24. 2014-03-02  [1] [ jEdit-devel ] [jedit:bugs] #3851 error of plugin Ed jedit-dev martin