From e3788ba37f39471b59d9aa83ef0e93d895ac664a Mon Sep 17 00:00:00 2001 From: abakkk Date: Fri, 15 Mar 2019 12:45:20 +0100 Subject: [PATCH] empty json file after erasing all drawings --- extension.js | 2 ++ 1 file changed, 2 insertions(+) diff --git a/extension.js b/extension.js index c1bbe44..40c8273 100644 --- a/extension.js +++ b/extension.js @@ -197,6 +197,8 @@ var AreaManager = new Lang.Class({ eraseDrawing: function() { for (let i = 0; i < this.areas.length; i++) this.areas[i].erase(); + if (this.settings.get_boolean('persistent-drawing')) + this.areas[Main.layoutManager.primaryIndex].saveAsJson(); }, togglePanelAndDockOpacity: function() {