I prefer to use the built-in word completion, but one thing that annoys me is that there is no option to disable the full completion when typing a digit, as many of my "words" contain digits in the middle and it is frustrating when typing a digit selects a completion option instead of narrowing down the options. I would be happy if this were just a property that needed to be manually set, or if there were just some workaround for this. The attached patch adds this to the global options, but is a little incomplete because it does not include text for the non-English localizations and does not update the jEdit user's guide.
This patch applies to r23057 (latest as of 6/29/13).
Patrick Eibl ( pumbor ) - 2013-06-29 09:45:06 PDT
|close_date||-||2013-11-07 05:10:35 PST||kpouer|
|allow_comments||1||2013-11-07 05:10:35 PST||kpouer|
|status_id||Open||2013-11-07 05:10:35 PST||kpouer|
|resolution_id||None||2013-07-09 18:34:54 PDT||daleanson|
|assigned_to||nobody||2013-07-09 18:11:30 PDT||daleanson|
|File Added||463811: insertCompletionWithDigit.patch||2013-06-29 09:45:07 PDT||pumbor|