As described in #132, I'm creating this pull request even though it's not really necessary anymore. However, since I broke it I should probably also fix it properly (as punishment ;-).
(Also, you never know if, in the future, the z-index of the tree view for some reason would become lower than that of the text editor, causing the tooltip to catch input there.)
Peekmo
commented
9 years ago
Hello
As described in #132, I'm creating this pull request even though it's not really necessary anymore. However, since I broke it I should probably also fix it properly (as punishment ;-).
(Also, you never know if, in the future, the z-index of the tree view for some reason would become lower than that of the text editor, causing the tooltip to catch input there.)