On Wed, Jun 25, 2014 at 5:21 PM, Dirk Hohndel <[email protected]> wrote:
> I'm curious about this one - the reason I changed this in commit > 49053e86aa61a was that otherwise I would get conflicts with different > shortcuts (i.e., things were marked as ambiguous). Are you fixing an > actual but here, something that doesn't work? Or just a matter of > principle? > Without that patch user manual search keyboard shortcut (Ctrl-F) does not work. Sergey
_______________________________________________ subsurface mailing list [email protected] http://lists.hohndel.org/cgi-bin/mailman/listinfo/subsurface
