jedit-devel

2023-08-01 - 2023-09-01 (14 messages)

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

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

  1. 2023-07-27  [3] [ jEdit-devel ] [jedit:plugin-central-submission] #10 jedit-dev Dale Anson vi
  2. 2023-07-27  [1] [ jEdit-devel ] [jedit:feature-requests] Re: #553 jEd jedit-dev Daniela Stoic
  3. 2023-07-27  [1] [ jEdit-devel ] [jedit:bugs] Re: #3833 Duplicated but jedit-dev Daniela Stoic
  4. 2023-07-25  [5] [ jEdit-devel ] ancestor plugin + buffertabs in a pla jedit-dev orbitalair 
  5. 2023-07-12  [1] [ jEdit-devel ] [jedit:bugs] #4126 Search in director jedit-dev Alan Ezust vi