jedit-devel

2015-09-01 - 2015-10-01 (116 messages)

2015-08-01 - 2015-09-01 (131 messages)

2015-07-01 - 2015-08-01 (47 messages)

 Next  Last 

  1. 2015-08-31  [1] [ jEdit-devel ] [jedit:bugs] #3881 SearchAndReplace b jedit-dev Dale Anson 
  2. 2015-08-31  [1] [ jEdit-devel ] [jedit:bugs] #3882 Regex search and r jedit-dev Dale Anson 
  3. 2015-08-31  [1] [ jEdit-devel ] [jedit:bugs] #3920 Cannot change alph jedit-dev Dale Anson 
  4. 2015-08-31  [2] [ jEdit-devel ] [jedit:bugs] #3924 Crash of Plugin ma jedit-dev Dale Anson 
  5. 2015-08-30  [5] [ jEdit-devel ] [jedit:patches] #567 Handling of NUMP jedit-dev Makarius 
  6. 2015-08-30  [4] [ jEdit-devel ] [jedit:patches] #570 German language  jedit-dev Robert Schwen
  7. 2015-08-30  [2] [ jEdit-devel ] [jedit:patches] #565 Update modes/clo jedit-dev Alan Ezust 
  8. 2015-08-28  [1] [ jEdit-devel ] [jedit:patches] #569 Allow specificat jedit-dev Rafal Kolansk
  9. 2015-08-28  [1] [ jEdit-devel ] [jedit:patches] #568 Consolidate mous jedit-dev Rafal Kolansk
 10. 2015-08-28  [7] Re: [ jEdit-devel ] new release plan: 5.3.0, 5.3.1, e jedit-dev Dale Anson 
 11. 2015-08-25  [8] [ jEdit-devel ] [jedit:plugin-patches] #173 Console:  jedit-dev Makarius 
 12. 2015-08-25  [1] [ jEdit-devel ] [jedit:patches] #566 Unicode brackets jedit-dev Makarius 
 13. 2015-08-22  [1] [ jEdit-devel ] [jedit:bugs] #3922 Move jEdit source  jedit-dev ahlearn 
 14. 2015-08-19  [2] [ jEdit-devel ] [jedit:bugs] #3925 Scalac Plugin: Bug jedit-dev Eric Le Lay 
 15. 2015-08-19  [1] [ jEdit-devel ] [jedit:bugs] #3926 Any windows opened jedit-dev AlexRepin 
 16. 2015-08-19  [1] [ jEdit-devel ] [jedit:bugs] #3925 Bug on launch with jedit-dev AlexRepin 
 17. 2015-08-18  [7] [ jEdit-devel ] [jedit:plugin-feature-requests] #350  jedit-dev Dale Anson 
 18. 2015-08-17  [2] [ jEdit-devel ] [jedit:bugs] #3717 Extra vertical spa jedit-dev alf456 
 19. 2015-08-17  [2] [ jEdit-devel ] [jedit:bugs] Re: #3921 Go Language su jedit-dev Charles M. Pa
 20. 2015-08-15 [19] [ jEdit-devel ] [jedit:feature-requests] #497 Update  jedit-dev ahlearn 
 21. 2015-08-15  [1] [ jEdit-devel ] Global font scaling?                  jedit-dev Makarius 
 22. 2015-08-14  [6] [ jEdit-devel ] [jedit:plugin-bugs] #1820 Voxspell: u jedit-dev Makarius 
 23. 2015-08-14  [1] [ jEdit-devel ] GUI scaling                           jedit-dev Makarius 
 24. 2015-08-14  [1] [ jEdit-devel ] [jedit:plugin-bugs] Re: #1814 Navigat jedit-dev Gerd Bleher 
 25. 2015-08-14  [1] [ jEdit-devel ] [jedit:plugin-bugs] #1814 Navigator g jedit-dev Dale Anson 
 26. 2015-08-14  [1] [ jEdit-devel ] [jedit:plugin-bugs] #1441 Navigator G jedit-dev Dale Anson 
 27. 2015-08-12  [4] [ jEdit-devel ] standalone text area build error      jedit-dev Dale Anson 
 28. 2015-08-10 [25] [ jEdit-devel ] [jedit:plugin-central-submission] #97 jedit-dev Dale Anson 
 29. 2015-08-10  [1] [ jEdit-devel ] [jedit:plugin-bugs] #978 TextTools: T jedit-dev Dale Anson 
 30. 2015-08-10  [1] [ jEdit-devel ] [jedit:plugin-bugs] #1329 TextTools b jedit-dev Dale Anson 

 Next  Last