Selection bug

[ad0]

In the editor section, when navigating to the "\begin{tikzpicture}" with arrow keys and selecting with the "Maj" key at the same time, selection disappears or get inverted.

[jkulesza]

Is there interest in having a preference checkbox to enable/disable selecting the \begin/\end tikzpicture tags? I'd like to implement this and get it merged for my own use. Thoughts?