scratch: Simplify scratch menu

2026-10-04 19:46:53 +00:00 · 2018-02-26 13:32:13 +01:00
parent 9191f0677f
commit 2b6a406071
1 changed files with 3 additions and 13 deletions
@@ -64,19 +64,9 @@ function enable() {
    WindowMenu.WindowMenu.prototype._buildMenu =
        function (window) {
            let item;
-            item = this.addAction(_('Scratch'), Lang.bind(this, function() {
-                if (isScratchWindow(window)) {
-                    window.unmake_above();
-                    // Make sure to detach and attach the window to the
-                    // workspace
-                    window.stick();
-                    window.unstick();
-                }
-                else {
-                    window.make_above();
-                    window.stick();
-                }
-            }));
+            item = this.addAction(_('Scratch'), () => {
+                toggle(window);
+            });
            if (isScratchWindow(window))
                item.setOrnament(PopupMenu.Ornament.CHECK);