NEW: JSRepl highlight search

altairwei · Jul 31, 2023 · d985e95 · d985e95
1 parent bbe8d05
commit d985e95
Show file tree

Hide file tree

Showing 2 changed files with 28 additions and 2 deletions.
diff --git a/src/jsplugin/JSRepl.cpp b/src/jsplugin/JSRepl.cpp
@@ -228,7 +228,11 @@ void JSReplSearchBox::findNext()
         QTextCursor cursor = textEdit->textCursor();
         cursor.movePosition(QTextCursor::Start);
         textEdit->setTextCursor(cursor);
-        textEdit->find(text);
+        found = textEdit->find(text);
+    }
+
+    if (found) {
+        highlight(textEdit->textCursor());
     }
 }
 
@@ -241,11 +245,31 @@ void JSReplSearchBox::findPrevious()
         QTextCursor cursor = textEdit->textCursor();
         cursor.movePosition(QTextCursor::End);
         textEdit->setTextCursor(cursor);
-        textEdit->find(text, QTextDocument::FindBackward);
+        found = textEdit->find(text, QTextDocument::FindBackward);
+    }
+
+    if (found) {
+        highlight(textEdit->textCursor());
     }
 }
 
 void JSReplSearchBox::setFocusOnLineEdit()
 {
     lineEdit->setFocus();
 }
+
+void JSReplSearchBox::highlight(const QTextCursor &cursor)
+{
+    QList<QTextEdit::ExtraSelection> extraSelections;
+
+    QTextEdit::ExtraSelection selection;
+    QColor lineColor = QColor(Qt::yellow).lighter(160);
+
+    selection.format.setBackground(lineColor);
+    selection.format.setProperty(QTextFormat::FullWidthSelection, true);
+    selection.cursor = cursor;
+    selection.cursor.clearSelection();
+    extraSelections.append(selection);
+
+    textEdit->setExtraSelections(extraSelections);
+}
diff --git a/src/jsplugin/JSRepl.h b/src/jsplugin/JSRepl.h
@@ -87,6 +87,8 @@ public slots:
     void findPrevious();
 
 private:
+    void highlight(const QTextCursor &cursor);
+
     QTextEdit *textEdit;
     QLineEdit *lineEdit;
 };