lint

brichet · brichet · commit 49531765b799 · 2025-10-09T12:11:50.000+02:00
diff --git a/style/base.css b/style/base.css
@@ -30,6 +30,7 @@
   background: var(--jp-toolbar-background);
   border-bottom: 1px solid var(--jp-border-color1);
   border-radius: 8px 8px 0 0;
+  user-select: none;
 }
 
 .floating-input-title {
@@ -66,10 +67,6 @@
   cursor: grabbing !important;
 }
 
-.floating-input-header {
-  user-select: none;
-}
-
 .floating-input-container:not(.dragging) .floating-input-header {
   cursor: grab;
 }

Original file line number	Diff line number	Diff line change
`@@ -30,6 +30,7 @@`
`30`	`30`	`background: var(--jp-toolbar-background);`
`31`	`31`	`border-bottom: 1px solid var(--jp-border-color1);`
`32`	`32`	`border-radius: 8px 8px 0 0;`
	`33`	`+ user-select: none;`
`33`	`34`	`}`
`34`	`35`
`35`	`36`	`.floating-input-title {`
`@@ -66,10 +67,6 @@`
`66`	`67`	`cursor: grabbing !important;`
`67`	`68`	`}`
`68`	`69`
`69`		`-.floating-input-header {`
`70`		`- user-select: none;`
`71`		`-}`
`72`		`-`
`73`	`70`	`.floating-input-container:not(.dragging) .floating-input-header {`
`74`	`71`	`cursor: grab;`
`75`	`72`	`}`