1. 2017-05-31 [8] [ jEdit-devel ] [jedit:patches] #596 #501 Auto-save u jedit-dev Alan Ezust 2. 2017-05-30 [3] [ jEdit-devel ] [jedit:feature-requests] #506 Option jedit-dev Alan Ezust 3. 2017-05-25 [1] [ jEdit-devel ] [jedit:bugs] #4036 some print setting jedit-dev Dale Anson 4. 2017-05-13 [4] [ jEdit-devel ] [jedit:patches] Re: #596 #501 Auto-sa jedit-dev Alan Ezust 5. 2017-05-10 [5] [ jEdit-devel ] [jedit:plugin-bugs] #1883 JavaSideKic jedit-dev Eric Le Lay 6. 2017-05-09 [2] [ jEdit-devel ] [jedit:bugs] Re: #4031 Escape no long jedit-dev Sarah 7. 2017-05-08 [1] [ jEdit-devel ] [jedit:bugs] #4031 Escape no longer c jedit-dev Alan Ezust