SourceEditor: Hide hint, when mouse moves (even if outside IDE, or IDE is not...
SourceEditor: Hide hint, when mouse moves (even if outside IDE, or IDE is not active). Issue #22016 git-svn-id: trunk@37378 -
SourceEditor: Hide hint, when mouse moves (even if outside IDE, or IDE is not active). Issue #22016 git-svn-id: trunk@37378 -
mentioned in issue #22016 (closed)
·