Fixing bug with saving files

This commit is contained in:
Ad5001 2024-10-11 19:05:34 +02:00
parent 9017f84c06
commit f3307b47d9
Signed by: Ad5001
GPG key ID: EF45F9C6AFE20160

View file

@ -118,6 +118,12 @@ class SettingsAPI extends Module {
this.emit(new ChangedEvent(property, oldValue, value, byUser === true)) this.emit(new ChangedEvent(property, oldValue, value, byUser === true))
} }
/**
* Name of the currently opened file.
* @returns {string}
*/
get saveFilename() { return this.#properties.get("saveFilename") }
/** /**
* Zoom on the x axis of the diagram. * Zoom on the x axis of the diagram.
* @returns {number} * @returns {number}