mirror of
https://github.com/pgadmin-org/pgadmin4.git
synced 2026-11-01 15:53:03 -06:00
Dave Page
1e1a9f2cf4
Take the opportunity to tidy up the menus and add access keys to appropriate buttons.
19 lines
772 B
JavaScript
19 lines
772 B
JavaScript
import CodeMirror from 'codemirror/lib/codemirror';
|
|
import 'codemirror/mode/sql/sql';
|
|
import 'codemirror/addon/selection/mark-selection';
|
|
import 'codemirror/addon/selection/active-line';
|
|
import 'codemirror/addon/fold/foldcode';
|
|
import 'codemirror/addon/fold/foldgutter';
|
|
import 'codemirror/addon/hint/show-hint';
|
|
import 'codemirror/addon/hint/sql-hint';
|
|
import 'codemirror/addon/scroll/simplescrollbars';
|
|
import 'codemirror/addon/dialog/dialog';
|
|
import 'codemirror/addon/search/search';
|
|
import 'codemirror/addon/search/searchcursor';
|
|
import 'codemirror/addon/search/jump-to-line';
|
|
import 'codemirror/addon/edit/matchbrackets';
|
|
import 'codemirror/addon/edit/closebrackets';
|
|
import 'codemirror/addon/comment/comment'
|
|
import 'pgadmin.sqlfoldcode';
|
|
|
|
export default CodeMirror; |