File tree Expand file tree Collapse file tree 3 files changed +13
-0
lines changed
packages/web/src/components Expand file tree Collapse file tree 3 files changed +13
-0
lines changed Original file line number Diff line number Diff line change @@ -28,6 +28,11 @@ import 'codemirror/addon/display/placeholder';
2828import 'codemirror/addon/mode/simple' ;
2929import 'codemirror/addon/edit/matchbrackets' ;
3030import 'codemirror/addon/edit/closebrackets' ;
31+ import 'codemirror/addon/search/search' ;
32+ import 'codemirror/addon/search/searchcursor' ;
33+ import 'codemirror/addon/search/jump-to-line' ;
34+ import 'codemirror/addon/dialog/dialog' ;
35+ import 'codemirror/addon/dialog/dialog.css' ;
3136
3237export type CodeMirror = typeof codemirrorType ;
3338export default codemirror ;
Original file line number Diff line number Diff line change 185185.CodeMirror-placeholder {
186186 color : var (--vscode-input-placeholderForeground ) !important ;
187187}
188+
189+ .CodeMirror-dialog-top {
190+ padding-top : 8px !important ;
191+ }
Original file line number Diff line number Diff line change @@ -108,6 +108,10 @@ export const CodeMirrorWrapper: React.FC<SourceProps> = ({
108108 placeholder,
109109 matchBrackets : true ,
110110 autoCloseBrackets : true ,
111+ extraKeys : {
112+ 'Ctrl-F' : 'findPersistent' ,
113+ 'Cmd-F' : 'findPersistent'
114+ }
111115 } ) ;
112116 codemirrorRef . current = { cm } ;
113117 if ( isFocused )
You can’t perform that action at this time.
0 commit comments