Disable selecting prompt text

spatialaudio · Apr 21, 2020 · 5dc172f · 5dc172f
1 parent bba26b2
commit 5dc172f
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/src/nbsphinx.py b/src/nbsphinx.py
@@ -488,6 +488,7 @@
     width: %(nbsphinx_prompt_width)s;
     padding-top: 0.3rem;
     position: relative;
+    user-select: none;
 }
 
 div.nbinput.container div.prompt > div,