Menu

#246 Finding Text

djview
wont-fix
nobody
None
5
2014-10-27
2014-10-23
Mesmeric
No

I think the Find implementation is very good.
What would be really fantastic is two additional choices - Word Beginning, and Word Ending
Thanks so much,
david

Discussion

  • Janusz

    Janusz - 2014-10-23

    Searching for word beginning and word ending is already available by using regular expressions.

     
  • Mesmeric

    Mesmeric - 2014-10-23

    Yes indeed; I'd noted the regular expression, but I was thinking that not all users will be savvy with such things and would therefore understand these two common options being expressed plainly!
    David

     
  • Leon Bottou

    Leon Bottou - 2014-10-27
    • status: open --> wont-fix
     
  • Leon Bottou

    Leon Bottou - 2014-10-27

    There is already a checkbox named "words only". However it anchors the search string to start with the beginning of a word. I am reluctant to make it terminate at the end of a words because this makes incremental search useless.

    There was another problem. Because of subtle changes inside ghostscript, recent versions of gsdjvu were really bad at identifying the word boundaries. This made the option "words only" nearly useless. So I ended up fixing gsdjvu instead and I've updated any2djvu.djvu.org with the new version.

    Note that the regexp checkbox has a "whatsthis" text with the regexp syntax.
    Just press Shift+F1 then select the option.

    Adding options is always a balance between features and perceived complexity. I do not believe adding a check box to match ends of words would help because (a) it would cause people to question the incremental aspect, (b) it does not work that well because many documents have broken text layers.

     

Log in to post a comment.