Work at SourceForge, help us to make it a better place! We have an immediate need for a Support Technician in our San Francisco or Denver office.

Close

#503 Add option to not complete word with digit

closed-fixed
Dale Anson
5
2013-11-07
2013-06-29
Patrick Eibl
No

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).

Discussion

  • Dale Anson
    Dale Anson
    2013-07-10

    • assigned_to: nobody --> daleanson
     
  • Dale Anson
    Dale Anson
    2013-07-10

    Applied in revision 23058. Thanks!

     
  • Dale Anson
    Dale Anson
    2013-07-10

    • status: open --> open-fixed
     
    • status: open-fixed --> closed-fixed