tasiaiso/tildefriends
1
0
Fork 0
forked from cory/tildefriends
Code Issues Pull Requests Releases Wiki Activity

Fix indentation?

Browse Source 
git-svn-id: https://www.unprompted.com/svn/projects/tildefriends/trunk@4771 ed5197a5-7fde-0310-b194-c3ffbd925b24
This commit is contained in:
Cory McWilliams 2024-01-14 03:07:08 +00:00
parent 86531bfd7e
commit b52e99c958
2 changed files with 6 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
deps/codemirror/cm6.js vendored
View File

File diff suppressed because one or more lines are too long

8
deps/codemirror_src/editor.mjs vendored
View File

@ -6,8 +6,8 @@ import {css} from "@codemirror/lang-css"
import {search} from "@codemirror/search"
import {oneDark} from "@codemirror/theme-one-dark"
import {lineNumbers, highlightActiveLineGutter, highlightSpecialChars, drawSelection, dropCursor, rectangularSelection, crosshairCursor, highlightActiveLine, keymap, highlightWhitespace} from '@codemirror/view';
import {foldGutter, indentOnInput, syntaxHighlighting, defaultHighlightStyle, bracketMatching, foldKeymap} from '@codemirror/language';
import {history, defaultKeymap, historyKeymap} from '@codemirror/commands';
import {foldGutter, indentUnit, indentOnInput, syntaxHighlighting, defaultHighlightStyle, bracketMatching, foldKeymap} from '@codemirror/language';
import {history, defaultKeymap, historyKeymap, indentWithTab} from '@codemirror/commands';
import {highlightSelectionMatches, searchKeymap} from '@codemirror/search';
import {autocompletion, closeBracketsKeymap, completionKeymap} from '@codemirror/autocomplete';
import {lintKeymap} from '@codemirror/lint';
@ -29,6 +29,7 @@ const extensions = [
dropCursor(),
EditorState.allowMultipleSelections.of(true),
indentOnInput(),
indentUnit.of('\t'),
syntaxHighlighting(defaultHighlightStyle, { fallback: true }),
bracketMatching(),
autocompletion(),
@ -42,7 +43,8 @@ const extensions = [
...historyKeymap,
...foldKeymap,
...completionKeymap,
...lintKeymap
...lintKeymap,
indentWithTab,
]),
javascript(),
html(),