formatting

This commit is contained in:
e218736 2024-02-21 16:23:15 +00:00
parent 4c31c16eef
commit d79d412959
2 changed files with 11 additions and 10 deletions

View file

@ -11,6 +11,7 @@ import {CHR_ENC_SIMPLE_LOOKUP, CHR_ENC_SIMPLE_REVERSE_LOOKUP} from "../../core/l
* A Status bar extension for CodeMirror * A Status bar extension for CodeMirror
*/ */
class StatusBarPanel { class StatusBarPanel {
/** /**
* StatusBarPanel constructor * StatusBarPanel constructor
* @param {Object} opts * @param {Object} opts
@ -264,6 +265,7 @@ class StatusBarPanel {
this.eolVal = state.lineBreak; this.eolVal = state.lineBreak;
} }
/** /**
* Sets the current character encoding of the document * Sets the current character encoding of the document
*/ */
@ -446,8 +448,7 @@ function hideOnClickOutside(element, instantiatingEvent) {
const outsideClickListener = event => { const outsideClickListener = event => {
// Don't trigger if we're clicking inside the element, or if the element // Don't trigger if we're clicking inside the element, or if the element
// is not visible, or if this is the same click event that opened it. // is not visible, or if this is the same click event that opened it.
if ( if (!element.contains(event.target) &&
!element.contains(event.target) &&
event.timeStamp !== instantiatingEvent.timeStamp) { event.timeStamp !== instantiatingEvent.timeStamp) {
hideElement(element); hideElement(element);
} }

View file

@ -185,7 +185,7 @@ class ControlsWaiter {
document.getElementById("save-text-chef").value = Utils.generatePrettyRecipe(recipeConfig, true); document.getElementById("save-text-chef").value = Utils.generatePrettyRecipe(recipeConfig, true);
document.getElementById("save-text-clean").value = JSON.stringify(recipeConfig, null, 2) document.getElementById("save-text-clean").value = JSON.stringify(recipeConfig, null, 2)
.replace(/{\n\s+"/g, '{ "') .replace(/{\n\s+"/g, "{ \"")
.replace(/\[\n\s{3,}/g, "[") .replace(/\[\n\s{3,}/g, "[")
.replace(/\n\s{3,}]/g, "]") .replace(/\n\s{3,}]/g, "]")
.replace(/\s*\n\s*}/g, " }") .replace(/\s*\n\s*}/g, " }")