Make text selectable (fixes #18916)

This commit is contained in:
Christof Marti
2017-01-25 10:29:57 -08:00
parent eec1b5b107
commit da2e9f419f

View File

@@ -7,6 +7,8 @@
box-sizing: border-box;
padding: 10px 20px;
line-height: 22px;
user-select: initial;
-webkit-user-select: initial;
}
.monaco-workbench > .part.editor > .content .walkThroughContent img {