2023-12-15 17:34:50 +03:00
|
|
|
'use client';
|
2023-11-26 02:24:16 +03:00
|
|
|
|
|
|
|
import { Extension } from '@codemirror/state';
|
|
|
|
import { tags } from '@lezer/highlight';
|
|
|
|
import { createTheme } from '@uiw/codemirror-themes';
|
|
|
|
import CodeMirror, { BasicSetupOptions, ReactCodeMirrorProps, ReactCodeMirrorRef } from '@uiw/react-codemirror';
|
2023-12-15 17:34:50 +03:00
|
|
|
import clsx from 'clsx';
|
2023-11-26 02:24:16 +03:00
|
|
|
import { EditorView } from 'codemirror';
|
2023-12-27 18:44:37 +03:00
|
|
|
import { forwardRef, useCallback, useMemo, useRef } from 'react';
|
2023-11-26 02:24:16 +03:00
|
|
|
|
2023-12-13 14:32:57 +03:00
|
|
|
import Label from '@/components/Common/Label';
|
|
|
|
import { useRSForm } from '@/context/RSFormContext';
|
|
|
|
import { useConceptTheme } from '@/context/ThemeContext';
|
|
|
|
|
2023-11-26 02:24:16 +03:00
|
|
|
import { ccBracketMatching } from './bracketMatching';
|
|
|
|
import { RSLanguage } from './rslang';
|
2023-12-28 14:04:44 +03:00
|
|
|
import { getSymbolSubstitute, RSTextWrapper } from './textEditing';
|
2023-11-26 02:24:16 +03:00
|
|
|
import { rsHoverTooltip } from './tooltip';
|
|
|
|
|
|
|
|
const editorSetup: BasicSetupOptions = {
|
|
|
|
highlightSpecialChars: false,
|
|
|
|
history: true,
|
|
|
|
drawSelection: false,
|
|
|
|
syntaxHighlighting: false,
|
|
|
|
defaultKeymap: true,
|
|
|
|
historyKeymap: true,
|
|
|
|
|
|
|
|
lineNumbers: false,
|
|
|
|
highlightActiveLineGutter: false,
|
|
|
|
foldGutter: false,
|
|
|
|
dropCursor: true,
|
|
|
|
allowMultipleSelections: false,
|
|
|
|
indentOnInput: false,
|
|
|
|
bracketMatching: false,
|
|
|
|
closeBrackets: false,
|
|
|
|
autocompletion: false,
|
|
|
|
rectangularSelection: false,
|
|
|
|
crosshairCursor: false,
|
|
|
|
highlightActiveLine: false,
|
|
|
|
highlightSelectionMatches: false,
|
|
|
|
closeBracketsKeymap: false,
|
|
|
|
searchKeymap: false,
|
|
|
|
foldKeymap: false,
|
|
|
|
completionKeymap: false,
|
|
|
|
lintKeymap: false
|
|
|
|
};
|
|
|
|
|
2023-12-28 14:04:44 +03:00
|
|
|
interface RSInputProps
|
|
|
|
extends Pick<
|
|
|
|
ReactCodeMirrorProps,
|
|
|
|
'id' | 'height' | 'minHeight' | 'maxHeight' | 'value' | 'onFocus' | 'onBlur' | 'placeholder' | 'style' | 'className'
|
|
|
|
> {
|
|
|
|
label?: string;
|
|
|
|
disabled?: boolean;
|
|
|
|
noTooltip?: boolean;
|
|
|
|
onChange?: (newValue: string) => void;
|
|
|
|
onAnalyze?: () => void;
|
2023-11-26 02:24:16 +03:00
|
|
|
}
|
|
|
|
|
2023-12-27 18:44:37 +03:00
|
|
|
const RSInput = forwardRef<ReactCodeMirrorRef, RSInputProps>(
|
2023-12-28 14:04:44 +03:00
|
|
|
({ id, label, onChange, onAnalyze, disabled, noTooltip, className, style, ...restProps }, ref) => {
|
|
|
|
const { darkMode, colors } = useConceptTheme();
|
|
|
|
const { schema } = useRSForm();
|
2023-11-26 02:24:16 +03:00
|
|
|
|
2023-12-28 14:04:44 +03:00
|
|
|
const internalRef = useRef<ReactCodeMirrorRef>(null);
|
|
|
|
const thisRef = useMemo(() => (!ref || typeof ref === 'function' ? internalRef : ref), [internalRef, ref]);
|
2023-11-26 02:24:16 +03:00
|
|
|
|
2023-12-28 14:04:44 +03:00
|
|
|
const cursor = useMemo(() => (!disabled ? 'cursor-text' : 'cursor-default'), [disabled]);
|
|
|
|
const customTheme: Extension = useMemo(
|
|
|
|
() =>
|
|
|
|
createTheme({
|
|
|
|
theme: darkMode ? 'dark' : 'light',
|
|
|
|
settings: {
|
|
|
|
fontFamily: 'inherit',
|
|
|
|
background: !disabled ? colors.bgInput : colors.bgDefault,
|
|
|
|
foreground: colors.fgDefault,
|
|
|
|
selection: colors.bgHover
|
|
|
|
},
|
|
|
|
styles: [
|
|
|
|
{ tag: tags.name, color: colors.fgPurple, cursor: 'default' }, // GlobalID
|
|
|
|
{ tag: tags.variableName, color: colors.fgGreen }, // LocalID
|
|
|
|
{ tag: tags.propertyName, color: colors.fgTeal }, // Radical
|
|
|
|
{ tag: tags.keyword, color: colors.fgBlue }, // keywords
|
|
|
|
{ tag: tags.literal, color: colors.fgBlue }, // literals
|
2023-12-30 19:43:24 +03:00
|
|
|
{ tag: tags.controlKeyword, fontWeight: '400' }, // R | I | D
|
2023-12-28 14:04:44 +03:00
|
|
|
{ tag: tags.unit, fontSize: '0.75rem' }, // indices
|
2023-12-30 19:43:24 +03:00
|
|
|
{ tag: tags.brace, color: colors.fgPurple, fontWeight: '600' } // braces (curly brackets)
|
2023-12-28 14:04:44 +03:00
|
|
|
]
|
|
|
|
}),
|
|
|
|
[disabled, colors, darkMode]
|
|
|
|
);
|
2023-11-26 02:24:16 +03:00
|
|
|
|
2023-12-28 14:04:44 +03:00
|
|
|
const editorExtensions = useMemo(
|
|
|
|
() => [
|
|
|
|
EditorView.lineWrapping,
|
|
|
|
RSLanguage,
|
|
|
|
ccBracketMatching(darkMode),
|
|
|
|
...(noTooltip ? [] : [rsHoverTooltip(schema?.items || [])])
|
|
|
|
],
|
|
|
|
[darkMode, schema?.items, noTooltip]
|
|
|
|
);
|
2023-11-26 02:24:16 +03:00
|
|
|
|
2023-12-28 14:04:44 +03:00
|
|
|
const handleInput = useCallback(
|
|
|
|
(event: React.KeyboardEvent<HTMLDivElement>) => {
|
|
|
|
if (!thisRef.current) {
|
|
|
|
return;
|
|
|
|
}
|
|
|
|
const text = new RSTextWrapper(thisRef.current as Required<ReactCodeMirrorRef>);
|
|
|
|
if (event.altKey) {
|
|
|
|
if (text.processAltKey(event.code, event.shiftKey)) {
|
|
|
|
event.preventDefault();
|
|
|
|
event.stopPropagation();
|
|
|
|
}
|
|
|
|
} else if (!event.ctrlKey) {
|
|
|
|
const newSymbol = getSymbolSubstitute(event.code, event.shiftKey);
|
|
|
|
if (newSymbol) {
|
|
|
|
text.replaceWith(newSymbol);
|
|
|
|
event.preventDefault();
|
|
|
|
event.stopPropagation();
|
|
|
|
}
|
|
|
|
} else if (event.ctrlKey && event.code === 'KeyQ' && onAnalyze) {
|
|
|
|
onAnalyze();
|
|
|
|
event.preventDefault();
|
|
|
|
event.stopPropagation();
|
|
|
|
}
|
|
|
|
},
|
|
|
|
[thisRef, onAnalyze]
|
|
|
|
);
|
2023-11-26 02:24:16 +03:00
|
|
|
|
2023-12-28 14:04:44 +03:00
|
|
|
return (
|
|
|
|
<div className={clsx('flex flex-col gap-2', className, cursor)} style={style}>
|
|
|
|
<Label text={label} htmlFor={id} />
|
|
|
|
<CodeMirror
|
2023-12-30 19:43:24 +03:00
|
|
|
className='font-math'
|
2023-12-28 14:04:44 +03:00
|
|
|
id={id}
|
|
|
|
ref={thisRef}
|
|
|
|
basicSetup={editorSetup}
|
|
|
|
theme={customTheme}
|
|
|
|
extensions={editorExtensions}
|
|
|
|
indentWithTab={false}
|
|
|
|
onChange={onChange}
|
|
|
|
editable={!disabled}
|
|
|
|
onKeyDown={handleInput}
|
|
|
|
{...restProps}
|
|
|
|
/>
|
|
|
|
</div>
|
|
|
|
);
|
|
|
|
}
|
|
|
|
);
|
2023-11-26 02:24:16 +03:00
|
|
|
|
2023-12-28 14:04:44 +03:00
|
|
|
export default RSInput;
|