https://bugs.documentfoundation.org/show_bug.cgi?id=147680
--- Comment #3 from Dieter <[email protected]> --- (In reply to Eyal Rozenberg from comment #2) > It is very common for someone to press the space key at the end of the word, > and only then to press the F3 to change the autotext. I believe it is > extremely uncommon for someone to use an autotext identifier ending in > space; So we have different opinions here. > which means that if you do ever press D3 after "DT ", it > is only because you want the "DT" autotext and not for another reason. If you man F3 I say yes. I press it, because I want the "DT" autotext, because that's the function of the F3 key. > since you never press F3 after a space character? That's true, because I won't expect, that this works. -- You are receiving this mail because: You are the assignee for the bug.
