#503 Add option to not complete word with digit


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


  • 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
  • Matthieu Casanova

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

Get latest updates about Open Source Projects, Conferences and News.

Sign up for the SourceForge newsletter:

No, thanks