jedit-devel

2018-08-01 - 2018-09-01 (54 messages)

2018-07-01 - 2018-08-01 (18 messages)

2018-06-01 - 2018-07-01 (14 messages)

  1. 2018-07-25  [2] [ jEdit-devel ] [jedit:bugs] #4070 Bug in backup fold jedit-dev jerome c. via
  2. 2018-07-17  [4] [ jEdit-devel ] [jedit:bugs] #4069 Reports every file jedit-dev Dale Anson vi
  3. 2018-07-11  [3] [ jEdit-devel ] [jedit:plugin-central-submission] #10 jedit-dev Dale Anson vi
  4. 2018-07-09  [2] [ jEdit-devel ] [jedit:bugs] #3368 Horizontal Scrollb jedit-dev Dale Anson vi
  5. 2018-07-09  [1] [ jEdit-devel ] [jedit:bugs] #3997 dialog buttons bec jedit-dev Dale Anson vi
  6. 2018-07-09  [1] [ jEdit-devel ] [jedit:bugs] #4053 Buttons look small jedit-dev Dale Anson vi
  7. 2018-07-06  [1] [ jEdit-devel ] [jedit:bugs] Re: #4057 Print margins  jedit-dev Adrian Wadey 
  8. 2018-07-06  [1] [ jEdit-devel ] Plugin Releases for July              jedit-dev Eric Berry 
  9. 2018-07-05  [1] [ jEdit-devel ] [jedit:bugs] #4057 Print margins keep jedit-dev Dale Anson vi
 10. 2018-07-05  [1] [ jEdit-devel ] [jedit:bugs] #4040 Some print setting jedit-dev Dale Anson vi
 11. 2018-07-05  [1] [ jEdit-devel ] [jedit:bugs] #4066 Windows installer  jedit-dev Dale Anson vi