Merge pull request #952 from AndrewBastin/feat/select-realtime-log

Added ability to select text in realtime log
This commit is contained in:
Liyas Thomas 2020-06-21 08:51:51 +05:30 committed by GitHub
commit 5d1cb8558b
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -28,6 +28,7 @@ div.realtime-log {
font-size: 16px;
font-family: "Roboto Mono", monospace;
font-weight: 400;
user-select: text;
}
span {