Change tab size

This commit is contained in:
Lorem Ipsum 2020-12-16 16:55:29 +00:00
parent 5220eb9822
commit 1a38e43b67
2 changed files with 40 additions and 41 deletions

View file

@ -15,7 +15,10 @@ window.onload = () => {
foldGutter: true, foldGutter: true,
gutters: ["CodeMirror-foldgutter", "CodeMirror-lint-markers"], gutters: ["CodeMirror-foldgutter", "CodeMirror-lint-markers"],
matchBrackets: true, matchBrackets: true,
lint: true lint: true,
extraKeys: {
"Tab": cm => cm.replaceSelection(" ", "end")
}
}); });
editor.focus(); editor.focus();
@ -63,14 +66,12 @@ window.onload = () => {
dateArray = date.toLocaleString('en-US', { hour: 'numeric', hour12: true, minute: 'numeric' }), dateArray = date.toLocaleString('en-US', { hour: 'numeric', hour12: true, minute: 'numeric' }),
today = new Date(), today = new Date(),
yesterday = new Date(new Date().setDate(today.getDate() - 1)); yesterday = new Date(new Date().setDate(today.getDate() - 1));
return today.toDateString() === date.toDateString() ? `Today at ${dateArray}` : return today.toDateString() === date.toDateString() ? `Today at ${dateArray}` :
yesterday.toDateString() === date.toDateString() ? `Yesterday at ${dateArray}` : yesterday.toDateString() === date.toDateString() ? `Yesterday at ${dateArray}` :
`${String(date.getMonth() + 1).padStart(2, '0')}/${String(date.getDate()).padStart(2, '0')}/${date.getFullYear()}`; `${String(date.getMonth() + 1).padStart(2, '0')}/${String(date.getDate()).padStart(2, '0')}/${date.getFullYear()}`;
}, display = (el, data, displayType) => { }, display = (el, data, displayType) => {
if (data) el.innerHTML = data; if (data) el.innerHTML = data;
el.style.display = displayType || "unset"; el.style.display = displayType || "unset";
}, hide = el => el.style.removeProperty('display'), }, hide = el => el.style.removeProperty('display'),
regEscape = str => str.replace(/[.*+?^${}()|[\]\\]/g, '\\$&'), regEscape = str => str.replace(/[.*+?^${}()|[\]\\]/g, '\\$&'),
toObj = jsonString => JSON.parse(jsonString.replace(/\\"|"(?:\\"|[^"])*"|(\/\/.*|\/\*[\s\S]*?\*\/)/g, (x, y) => y ? "" : x)), toObj = jsonString => JSON.parse(jsonString.replace(/\\"|"(?:\\"|[^"])*"|(\/\/.*|\/\*[\s\S]*?\*\/)/g, (x, y) => y ? "" : x)),

View file

@ -87,8 +87,6 @@
] ]
} }
} }
</textarea> </textarea>
</div> </div>
<div class="bottom item"></div> <div class="bottom item"></div>