Skip closing character

Author: massivemadness

editor/src/main/java/io/github/rosemoe/sora/widget/CodeEditor.java

@@ -1911,6 +1911,24 @@ public void commitText(CharSequence text, boolean applyAutoIndent, boolean apply
             );
         }
 
+        // skip closing character
+        if (applySymbolCompletion && getProps().symbolPairAutoCompletion && text.length() == 1) {
+            var editChar = text.charAt(0);
+            var symbolPair = languageSymbolPairs.findPairBySingleChar(editChar);
+            if (symbolPair != null) {
+                int rightLine = cursor.getRightLine();
+                int rightColumn = cursor.getRightColumn();
+                ContentLine currentLine = this.text.getLine(rightLine);
+
+                if (rightColumn < currentLine.length() && currentLine.charAt(rightColumn) == editChar) {
+                    if (editChar == symbolPair.close.charAt(0)) {
+                        setSelection(rightLine, rightColumn + 1);
+                        return;
+                    }
+                }
+            }
+        }
+
         var cur = cursor;
         var editorText = this.text;
         var quoteHandler = LanguageHelper.getQuickQuoteHandler(editorLanguage);

editor/src/main/java/io/github/rosemoe/sora/widget/SymbolPairMatch.java

@@ -105,6 +105,24 @@ public void putPair(String openString, SymbolPair symbolPair) {
         putPair(openString.toCharArray(), symbolPair);
     }
 
+    @Nullable
+    public final SymbolPair findPairBySingleChar(char editChar) {
+        SymbolPair symbolPair = null;
+        for (List<SymbolPair> pairList : multipleCharByEndPairMaps.values()) {
+            for (SymbolPair pair : pairList) {
+                if (pair.open.length() == 1 && pair.close.length() == 1) {
+                    if (pair.open.charAt(0) == editChar || pair.close.charAt(0) == editChar) {
+                        symbolPair = pair;
+                        break;
+                    }
+                }
+            }
+        }
+        if (symbolPair == null && parent != null) {
+            return parent.findPairBySingleChar(editChar);
+        }
+        return symbolPair;
+    }
 
     @Nullable
     public final SymbolPair matchBestPairBySingleChar(char editChar) {