With this patch it is possible to edit the entries in the HistoryText by clicking on "Previously entered strings:"
A simple table appears and the history entries can be changed by clicking:
Move: PgUp/PgDown; Edit: Double-Click or Insert/Delete.
The new class ListModelEditor is not only limited to HistoryText. It can be used to edit any DefaultListModel.
patch for Edit History Text
Screen Shot
Logged In: YES
user_id=782411
Originator: YES
File Added: EditHistoryText.jpg
Logged In: YES
user_id=935841
Originator: NO
I'm testing the patch now, but I'm unable to see any editor show up... Sorry it took me so long to get around to testing it, but can you verify that it still work against latest version of jedit? I think some other reworking of history textfield occurred recently.
Logged In: YES
user_id=935841
Originator: NO
Transmitting file data ....
Committed revision 12509.