Commit c0c0d15b authored by Sean McGivern's avatar Sean McGivern Committed by Mike Greiling

Prevent job log line numbers from being selected

This is often annoying as the line number isn't part of the output
itself. For diff line numbers, we set user-select: none, and this
change does the same for job log line numbers.
parent 200bc9dc
...@@ -22,6 +22,7 @@ ...@@ -22,6 +22,7 @@
min-width: $job-line-number-width; min-width: $job-line-number-width;
margin-left: -$job-line-number-margin; margin-left: -$job-line-number-margin;
padding-right: 1em; padding-right: 1em;
user-select: none;
&:hover, &:hover,
&:active, &:active,
......
---
title: Prevent job log line numbers from being selected
merge_request: 22691
author:
type: fixed
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment