cory/tildefriends
5
6
Fork 2
Code Issues 29 Pull Requests Actions Releases 38 Wiki Activity

Gotta highlight that whitespace.

Browse Source 
git-svn-id: https://www.unprompted.com/svn/projects/tildefriends/trunk@4769 ed5197a5-7fde-0310-b194-c3ffbd925b24
This commit is contained in:
Cory McWilliams
2024-01-14 02:58:46 +00:00
parent 2380b65853
commit 874a22325e
2 changed files with 3 additions and 2 deletions
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

3
deps/codemirror_src/editor.mjs vendored
View File

@@ -5,7 +5,7 @@ import {html} from "@codemirror/lang-html"
import {css} from "@codemirror/lang-css" import {css} from "@codemirror/lang-css"
import {search} from "@codemirror/search" import {search} from "@codemirror/search"
import {oneDark} from "@codemirror/theme-one-dark" import {oneDark} from "@codemirror/theme-one-dark"
import {lineNumbers, highlightActiveLineGutter, highlightSpecialChars, drawSelection, dropCursor, rectangularSelection, crosshairCursor, highlightActiveLine, keymap} from '@codemirror/view'; 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 {foldGutter, indentOnInput, syntaxHighlighting, defaultHighlightStyle, bracketMatching, foldKeymap} from '@codemirror/language';
import {history, defaultKeymap, historyKeymap} from '@codemirror/commands'; import {history, defaultKeymap, historyKeymap} from '@codemirror/commands';
import {highlightSelectionMatches, searchKeymap} from '@codemirror/search'; import {highlightSelectionMatches, searchKeymap} from '@codemirror/search';
@@ -22,6 +22,7 @@ const extensions = [
lineNumbers(), lineNumbers(),
highlightActiveLineGutter(), highlightActiveLineGutter(),
highlightSpecialChars(), highlightSpecialChars(),
highlightWhitespace(),
history(), history(),
foldGutter(), foldGutter(),
drawSelection(), drawSelection(),