From 34030278518bc1d021e20ee1bb8b6b5373482379 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?=E4=B8=89=E5=92=B2=E6=99=BA=E5=AD=90?= Date: Tue, 3 Jan 2023 00:03:05 +0800 Subject: [PATCH] feat: add search and replace shortcuts: https://codemirror.net/5/demo/search.html --- src/codemirror/codemirror.css | 4 ++++ src/codemirror/codemirror.ts | 4 ++++ 2 files changed, 8 insertions(+) diff --git a/src/codemirror/codemirror.css b/src/codemirror/codemirror.css index 8e353929..5cef6fb5 100644 --- a/src/codemirror/codemirror.css +++ b/src/codemirror/codemirror.css @@ -538,3 +538,7 @@ div.CodeMirror-dragcursors { span.CodeMirror-selectedtext { background: none; } + +.CodeMirror-dialog{ + background-color: var(--bg); +} diff --git a/src/codemirror/codemirror.ts b/src/codemirror/codemirror.ts index 0ae44dd8..89a3bea1 100644 --- a/src/codemirror/codemirror.ts +++ b/src/codemirror/codemirror.ts @@ -1,4 +1,5 @@ import CodeMirror from 'codemirror' +import 'codemirror/addon/dialog/dialog.css' import './codemirror.css' // modes @@ -15,5 +16,8 @@ import 'codemirror/addon/fold/foldgutter.js' import 'codemirror/addon/fold/brace-fold.js' import 'codemirror/addon/fold/indent-fold.js' import 'codemirror/addon/fold/comment-fold.js' +import 'codemirror/addon/search/search.js' +import 'codemirror/addon/search/searchcursor.js' +import 'codemirror/addon/dialog/dialog.js' export default CodeMirror