On 03/05/2017 11:26, Jean-Marc Lasgouttes wrote:
3610cdf66944dc790e2e3df666e99f33c45b1ede
Yes, this is much less surprising than to two other commits.
this is now (correctly) fixed in
commit cf6bbe21
Author: Tommaso Cucinotta <tomm...@lyx.org>
Date: Wed May 3 17:32:31 2017 +0200
findadv: amend [8c101829/lyxgit] check that opt.find_buf_name is found in
theBuffers().
and we have back a manually working findadv pane.
Kornel, would you mind to re-run the tests ?
As for the "word-findadv" verb, I don't have strong opinions about hiding that,
and
I don't know for sure what these "Edit" vs "Hidden" etc. flags are for :(...
Similar for "word-find" which seems to suffer of a similar usability issue
(from the mini-buf).
Thanks,
T.
