This looks like a bug in the org.gjt.sp.jedit.gui.HistoryTextField class, because there is nothing in the XSearch plugin that draws those arrow buttons. It's all handled by the HistoryTextField.
Strange that it only comes up in the XSearch plugin though.
Any ideas why this might be?
If you would like to refer to this comment somewhere else in this project, copy and paste the following link:
Logged In: YES
user_id=935841
Originator: NO
This looks like a bug in the org.gjt.sp.jedit.gui.HistoryTextField class, because there is nothing in the XSearch plugin that draws those arrow buttons. It's all handled by the HistoryTextField.
Strange that it only comes up in the XSearch plugin though.
Any ideas why this might be?