Ubuntu
poppler package

  1. Bug #376073
  2. Comment #1

Comment 1 for bug 376073

Revision history for this message
In , Phil-ganchev (phil-ganchev) wrote :

Hyphens should also be treated as whitespace.

It should also be optionally diacritic insensitive: http://bugzilla.gnome.org/show_bug.cgi?id=418189

Perhaps this should be in the same option as whitespace insensitive?