ai_coder/visualization
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Don't ignore trim whitespace when diffing strings.

Browse Source
This commit is contained in:
Henning Dieterichs
2021-06-19 15:34:28 +02:00
parent 7576ed1b7d
commit b6bf5feee0
1 changed files with 6 additions and 7 deletions
Download Patch File Download Diff File Expand all files Collapse all files

13
visualization-bundle/src/visualizers/monaco-text-diff-visualizer/MonacoEditor.tsx
View File

@@ -7,7 +7,7 @@ import { getLoadedMonaco } from "@hediet/monaco-editor-react";
export function getLanguageId(fileName: string): string {
const l = getLoadedMonaco().languages.getLanguages();
const result = l.find(l => {
const result = l.find((l) => {
if (l.filenamePatterns) {
for (const p of l.filenamePatterns) {
if (new RegExp(p).test(fileName)) {
@@ -56,12 +56,10 @@ export class MonacoDiffEditor extends React.Component<{
return getLanguageId(this.props.fileName);
}
private originalModel:
| monacoTypes.editor.ITextModel
| undefined = undefined;
private modifiedModel:
| monacoTypes.editor.ITextModel
| undefined = undefined;
private originalModel: monacoTypes.editor.ITextModel | undefined =
undefined;
private modifiedModel: monacoTypes.editor.ITextModel | undefined =
undefined;
@disposeOnUnmount
private _updateText = autorun(() => {
@@ -106,6 +104,7 @@ export class MonacoDiffEditor extends React.Component<{
readOnly: true,
theme: this.props.theme.kind === "dark" ? "vs-dark" : "vs",
renderWhitespace: "all",
ignoreTrimWhitespace: false,
});
if (this.originalModel && this.modifiedModel) {
this.editor.setModel({