jedit-devel

2022-11-01 - 2022-12-01 (9 messages)

2022-10-01 - 2022-11-01 (6 messages)

  1. 2022-11-15  [1] [ jEdit-devel ] [jedit:plugin-bugs] #1923 buffer-loca jedit-dev Harry KARADIM
  2. 2022-11-13  [1] [ jEdit-devel ] File not found trying to update JavaS jedit-dev Alan Ezust 
  3. 2022-11-13  [2] [ jEdit-devel ] [jedit:plugin-patches] #190 Console:  jedit-dev Alan Ezust vi
  4. 2022-11-13  [2] [ jEdit-devel ] [jedit:plugin-patches] Re: #190 Conso jedit-dev Alan Ezust vi
  5. 2022-11-11  [2] [ jEdit-devel ] [jedit:bugs] #4005 Nimbus L&F: Odd ch jedit-dev Alan Ezust vi
  6. 2022-11-11  [1] Re: [ jEdit-devel ] CentOS 7 update leads to jEdit ha jedit-dev Alan Ezust