Merge pull request #100 from RAIRLab/22-prevent-text-from-being-highl…

…ighted-when-mouse-draged-outside-of-ui-1 Prevent Text From being highlighted
RAIRLab · Oct 9, 2023 · 71eff51 · 71eff51
2 parents 0bea196 + 2fae566
commit 71eff51
Show file tree

Hide file tree

Showing 2 changed files with 10 additions and 4 deletions.
diff --git a/src/index.css b/src/index.css
@@ -74,3 +74,9 @@ p {
     left: 0px;
     z-index: -1;
 }
+.no-highlight{
+    user-select: none; 
+    -moz-user-select: none; 
+    -webkit-text-select: none;
+    -webkit-user-select: none; 
+ }
diff --git a/src/index.html b/src/index.html
@@ -9,7 +9,7 @@
   </head>
   <body>
     <header id="header">
-      <p>Peirce My Heart</p>
+      <p class="no-highlight">Peirce My Heart</p>
     </header>
     <div id="sidebar">
       <div class="row">
@@ -32,13 +32,13 @@
     <div id="toolbar">
       <div id="cutTools">
         <div class="toolSetting">
-          <p>Show Guidelines:</p>
+          <p class="no-highlight">Show Guidelines:</p>
         </div>
         <div class="toolSetting">
           <input id="showRect" type="checkbox" title="Show Rect"/>
         </div>
         <div class="toolSetting">
-          <p>Cut Mode:</p>
+          <p class="no-highlight">Cut Mode:</p>
         </div>
         <div class="toolSetting">
           <select id="mode" name="guideSelector">
@@ -47,7 +47,7 @@
           </select>
         </div>
         <div class="toolSetting">
-          <p id="graphString"></p>
+          <p class="no-highlight" id="graphString"></p>
         </div>
       </div>
     </div>