From 3a09af56dc8fd9f686f04cf4ec419169559a3a36 Mon Sep 17 00:00:00 2001
From: Marco Castelluccio <mcastelluccio@mozilla.com>
Date: Mon, 1 Jul 2024 02:14:20 +0000
Subject: [PATCH] Bug 1903995 - [devtools] Disable selection on the line number
 gutters r=devtools-reviewers,nchevobbe

Differential Revision: https://phabricator.services.mozilla.com/D215067

UltraBlame original commit: 52879d7076e96efee17fc56f9f8feafc2ddb79ae
---
 .../sourceeditor/codemirror/mozilla.css       | 20 +++++++++++++++++++
 1 file changed, 20 insertions(+)

diff --git a/devtools/client/shared/sourceeditor/codemirror/mozilla.css b/devtools/client/shared/sourceeditor/codemirror/mozilla.css
index 5d478baf3b7e..754750f9a536 100644
--- a/devtools/client/shared/sourceeditor/codemirror/mozilla.css
+++ b/devtools/client/shared/sourceeditor/codemirror/mozilla.css
@@ -2221,6 +2221,26 @@ editor
 .
 cm
 -
+gutter
+.
+cm
+-
+lineNumbers
+{
+user
+-
+select
+:
+none
+;
+}
+.
+cm
+-
+editor
+.
+cm
+-
 foldPlaceholder
 {
 font