Suggestion: Allow Copy & Paste in Tooltips

Open

#2,969 opened on May 1, 2017 10 comments 1 reaction 0 assignees View on GitHub

Area-LangService-ToolTips Feature Improvement

Description

Maybe it makes sense, maybe not. I'd like to copy&paste this info somehow. Is this possible today?

![image](https://cloud.githubusercontent.com/assets/1866463/25586020/ae926e8c-2e9d-11e7-828a-20a9daf8d523.png)

This issue has not been assessed yet.