jedit-devel

2019-03-01 - 2019-04-01 (21 messages)

2019-02-01 - 2019-03-01 (7 messages)

2019-01-01 - 2019-02-01 (8 messages)

  1. 2019-02-27  [1] [ jEdit-devel ] EditorScheme Release                  jedit-dev Jesse Pavel 
  2. 2019-02-10  [2] [ jEdit-devel ] [jedit:patches] #618 Patch for bug ID jedit-dev Dale Anson vi
  3. 2019-02-10  [1] [ jEdit-devel ] [jedit:patches] #619 Patch for groovy jedit-dev Alan Ezust vi
  4. 2019-02-10  [1] [ jEdit-devel ] [jedit:patches] #616 further update f jedit-dev Alan Ezust vi
  5. 2019-02-02  [2] Re: [ jEdit-devel ] button, menu items, font size.    jedit-dev Makarius