mirror of
https://github.com/windmill-labs/windmill.git
synced 2026-08-18 16:02:10 +00:00
nit
This commit is contained in:
@@ -345,22 +345,24 @@
|
||||
|
||||
export function setCode(ncode: string, noHistory: boolean = false): void {
|
||||
if (code != ncode) {
|
||||
if (noHistory) {
|
||||
editor?.setValue(ncode)
|
||||
} else {
|
||||
if (editor?.getModel()) {
|
||||
// editor.setValue(ncode)
|
||||
editor.pushUndoStop()
|
||||
code = ncode
|
||||
}
|
||||
|
||||
editor.executeEdits('set', [
|
||||
{
|
||||
range: editor.getModel()!.getFullModelRange(), // full range
|
||||
text: ncode
|
||||
}
|
||||
])
|
||||
if (noHistory) {
|
||||
editor?.setValue(ncode)
|
||||
} else {
|
||||
if (editor?.getModel()) {
|
||||
// editor.setValue(ncode)
|
||||
editor.pushUndoStop()
|
||||
|
||||
editor.pushUndoStop()
|
||||
}
|
||||
editor.executeEdits('set', [
|
||||
{
|
||||
range: editor.getModel()!.getFullModelRange(), // full range
|
||||
text: ncode
|
||||
}
|
||||
])
|
||||
|
||||
editor.pushUndoStop()
|
||||
}
|
||||
}
|
||||
}
|
||||
|
||||
@@ -159,8 +159,8 @@
|
||||
export function setCode(ncode: string): void {
|
||||
if (ncode != code) {
|
||||
code = ncode
|
||||
editor?.setValue(ncode)
|
||||
}
|
||||
editor?.setValue(ncode)
|
||||
}
|
||||
|
||||
function updateCode(): boolean {
|
||||
|
||||
@@ -412,8 +412,8 @@
|
||||
export function setCode(ncode: string): void {
|
||||
if (code != ncode) {
|
||||
code = ncode
|
||||
editor?.setValue(ncode)
|
||||
}
|
||||
editor?.setValue(ncode)
|
||||
}
|
||||
|
||||
let valueAfterDispose: string | undefined = undefined
|
||||
|
||||
Reference in New Issue
Block a user