Re: Bug: extra character selected by triple-click