From a4456762b5ac23e40d07377317f03804b6bb3ee8 Mon Sep 17 00:00:00 2001 From: abakkk Date: Mon, 1 Jun 2020 17:37:08 +0200 Subject: [PATCH] not to populate helper widget before the first showing Does not fix anything, just a marginal gain. --- draw.js | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/draw.js b/draw.js index 1dae585..679e04e 100644 --- a/draw.js +++ b/draw.js @@ -1079,6 +1079,9 @@ var DrawingHelper = new Lang.Class({ this.parent(params); this.monitor = monitor; this.hide(); + }, + + _populate: function() { this.vbox = new St.BoxLayout({ vertical: true }); this.add_actor(this.vbox); this.vbox.add_child(new St.Label({ text: _("Global") })); @@ -1147,6 +1150,9 @@ var DrawingHelper = new Lang.Class({ }, showHelp: function() { + if (!this.vbox) + this._populate(); + this.opacity = 0; this.show();