jedit-devel

2023-06-01 - 2023-07-01 (11 messages)

2023-05-01 - 2023-06-01 (13 messages)

  1. 2023-05-31  [1] [ jEdit-devel ] deleting next newline character in ja jedit-dev Alan Ezust 
  2. 2023-05-30  [1] [ jEdit-devel ] [jedit:bugs] #3833 Duplicated button  jedit-dev Jean-Francois
  3. 2023-05-04  [2] [ jEdit-devel ] Please, I want to unsubscribe from th jedit-dev Jack W. 
  4. 2023-05-03  [5] [ jEdit-devel ] [jedit:bugs] Re: #4124 jEdit Won't Lo jedit-dev ScreenName vi
  5. 2023-05-03  [4] [ jEdit-devel ] [jedit:bugs] #4124 jEdit Won't Load w jedit-dev Dale Anson vi