jedit-devel

2015-11-01 - 2015-12-01 (73 messages)

2015-10-01 - 2015-11-01 (115 messages)

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

  1. 2015-10-31 [18] [ jEdit-devel ] [jedit:bugs] #3933 Splitting shortcut jedit-dev Roman Horvát
  2. 2015-10-30 [31] [ jEdit-devel ] [jedit:plugin-central-submission] #99 jedit-dev Townsfolk 
  3. 2015-10-30  [6] [ jEdit-devel ] Help with Mode file for todotxt.      jedit-dev Eric Berry 
  4. 2015-10-28  [6] [ jEdit-devel ] Searching settings directory and home jedit-dev Edward Diener
  5. 2015-10-28  [3] [ jEdit-devel ] [jedit:bugs] #3935 Java Exception has jedit-dev Thiemo Kellne
  6. 2015-10-27  [2] [ jEdit-devel ] [jedit:bugs] #3902 end of line marker jedit-dev Alan Ezust 
  7. 2015-10-27  [1] [ jEdit-devel ] [jedit:bugs] #3927 jEdit is slow on W jedit-dev Andrei 
  8. 2015-10-25  [3] [ jEdit-devel ] OuterBeauty: using external programs  jedit-dev Eric Le Lay 
  9. 2015-10-25  [1] [ jEdit-devel ] [jedit:patches] #576 Beanshell Debugg jedit-dev Tobias Melche
 10. 2015-10-24  [1] [ jEdit-devel ] [jedit:patches] #575 Rust edit mode r jedit-dev Jordan Miner 
 11. 2015-10-24  [3] [ jEdit-devel ] Fwd: Congratulations! Your project is jedit-dev Alan Ezust 
 12. 2015-10-24  [2] [ jEdit-devel ] [jedit:bugs] #3936 Strange layout on  jedit-dev Dale Anson 
 13. 2015-10-23  [9] [ jEdit-devel ] [jedit:bugs] #3934 Numpad Keys Interp jedit-dev Alan Ezust 
 14. 2015-10-23  [3] [ jEdit-devel ] [jedit:bugs] Re: #3934 Numpad Keys In jedit-dev John Potelle 
 15. 2015-10-21  [1] [ jEdit-devel ] [jedit:plugin-patches] #169 RecentBuf jedit-dev Zbigniew ZagĂ
 16. 2015-10-20  [2] [ jEdit-devel ] How does JEdit print with color?      jedit-dev Matthieu Casa
 17. 2015-10-18  [1] [ jEdit-devel ] [jedit:patches] #574 Mavscript edit m jedit-dev A. Vontobel 
 18. 2015-10-18  [1] [ jEdit-devel ] [jedit:patches] #573 Drawj2d edit mod jedit-dev A. Vontobel 
 19. 2015-10-15  [1] [ jEdit-devel ] [jedit:bugs] #3932 createTextArea() f jedit-dev Attila Virag 
 20. 2015-10-15  [3] [ jEdit-devel ] [jedit:plugin-feature-requests] #353  jedit-dev Eric Le Lay 
 21. 2015-10-13  [1] [ jEdit-devel ] [jedit:feature-requests] #502 Beauty: jedit-dev Alan Ezust 
 22. 2015-10-11  [7] [ jEdit-devel ] [jedit:bugs] #3931 incorrect display  jedit-dev draeath 
 23. 2015-10-08  [2] Re: [ jEdit-devel ] new release plan: 5.3.0, 5.3.1, e jedit-dev Alan Ezust 
 24. 2015-10-06  [1] Re: [ jEdit-devel ] work done on the Plugin Manager   jedit-dev Eric Le Lay 
 25. 2015-10-06  [4] [ jEdit-devel ] [jedit:bugs] #3930 Shortcut NumPad+ ( jedit-dev Makarius 
 26. 2015-10-01  [2] [ jEdit-devel ] [jedit:bugs] #3929 Open dialog shows  jedit-dev Dale Anson