disable user-select on console line numbers and times #390
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
This trivial patch goes some way towards addressing a problem I reported on the lists a while ago.
Our goal is as follows. We would like to select and copy text from the console UI without superfluous noise. The text in the user's clipboard buffer must closely match what is displayed in the browser. (We can happily live without colours or other stuff that cannot be represented in plain text.)
There are at least two smaller problems here:
This patch seems to fix (1) but does not fix (2).
Before:
After:
On Firefox, copying the selected text produces the following on paste:
As far as I can tell, this probably has something to do with the trailing newline in the span content (because
white-space: pre-wrap
?):I don't know anything about web stuff. This problem has caused quite a bit of consternation, though, so I thought I'd at least try to get the ball rolling in the hope that you can see an easy way forward. Please feel free to do whatever you like with this patch.