Some compatibility changes in plugins; disabled messy Ctrl+F fix for now

Author: WebCoder49

code-input.css

@@ -9,7 +9,8 @@ code-input {
   top: 0;
   left: 0;
   display: block;
-  overflow: auto;
+  overflow-y: auto;
+  overflow-x: auto;
 
   /* Normal inline styles */
   margin: 8px;
@@ -42,14 +43,12 @@ code-input textarea, code-input:not(.code-input_pre-element-styled) pre code, co
   margin: 0px!important;
   padding: var(--padding, 16px)!important;
   border: 0;
-  width: calc(100% - var(--padding, 16px) * 2);
+  min-width: calc(100% - var(--padding, 16px) * 2);
   min-height: calc(100% - var(--padding, 16px) * 2);
-  
   overflow: hidden;
   resize: none;
-
-  grid-row: 1 2;
-  grid-column: 1 2;
+  grid-row: 1;
+  grid-column: 1;
 }
 
 code-input:not(.code-input_pre-element-styled) pre, code-input.code-input_pre-element-styled pre code {

code-input.js

@@ -514,7 +514,7 @@ var codeInput = {
         * to syntax-highlight it. */
 
         needsHighlight = false; // Just inputted
-        needsDisableDuplicateSearching = false; // Just highlighted
+        // needsDisableDuplicateSearching = false; // Just highlighted
 
         /**
          * Highlight the code ASAP
@@ -536,13 +536,13 @@ var codeInput = {
                 console.log("Update");
                 this.update();
                 this.needsHighlight = false;
-                this.needsDisableDuplicateSearching = true;
-            }
-            if(this.needsDisableDuplicateSearching && this.codeElement.querySelector("*") != null) {
-                // Has been highlighted
-                this.resultElementDisableSearching();
-                this.needsDisableDuplicateSearching = false;
+                // this.needsDisableDuplicateSearching = true;
             }
+            // if(this.needsDisableDuplicateSearching && this.codeElement.querySelector("*") != null) {
+            //     // Has been highlighted
+            //     this.resultElementDisableSearching();
+            //     this.needsDisableDuplicateSearching = false;
+            // }
 
             window.requestAnimationFrame(this.animateFrame.bind(this));
         }

plugins/indent.js

@@ -194,7 +194,7 @@ codeInput.plugins.Indent = class extends codeInput.Plugin {
         // Scroll down to cursor if necessary
         let paddingTop = Number(getComputedStyle(inputElement).paddingTop.replace("px", "")); 
         let lineHeight = Number(getComputedStyle(inputElement).lineHeight.replace("px", "")); 
-        let inputHeight = Number(getComputedStyle(inputElement).height.replace("px", ""));
+        let inputHeight = Number(getComputedStyle(codeInput).height.replace("px", ""));
         if(currentLineI*lineHeight + lineHeight*2 + paddingTop >= inputElement.scrollTop + inputHeight) { // Cursor too far down
             codeInput.scrollBy(0, Number(getComputedStyle(inputElement).lineHeight.replace("px", "")));
         }