From 9c5b241caed1e1b9b67c426fd83813979ca9fa16 Mon Sep 17 00:00:00 2001
From: "Eevee (Evelyn Woods)" <eevee.git@veekun.com>
Date: Wed, 10 Mar 2021 19:27:49 -0700
Subject: [PATCH] Add editor keyboard shortcuts for select all and deselect all

---
 js/main-editor.js | 32 +++++++++++++++++++++++++++++++-
 1 file changed, 31 insertions(+), 1 deletion(-)

diff --git a/js/main-editor.js b/js/main-editor.js
index 8964d2e..847bba4 100644
--- a/js/main-editor.js
+++ b/js/main-editor.js
@@ -1649,6 +1649,7 @@ const EDITOR_TOOLS = {
         icon: 'icons/tool-select-box.png',
         name: "Box select",
         desc: "Select and manipulate rectangles.",
+        affects_selection: true,
         op1: SelectOperation,
         shortcut: 'm',
     },
@@ -3108,7 +3109,36 @@ export class Editor extends PrimaryView {
                 return;
 
             if (ev.ctrlKey) {
-                if (ev.key === 'z') {
+                if (ev.key === 'a') {
+                    // Select all
+                    if (this.mouse_op && EDITOR_TOOLS[this.current_tool].affects_selection) {
+                        // If we're in the middle of using a selection tool, cancel whatever it's
+                        // doing
+                        this.mouse_op.abort();
+                        this.mouse_op = null;
+                    }
+                    let new_rect = new DOMRect(0, 0, this.stored_level.size_x, this.stored_level.size_y);
+                    let old_rect = this.selection.rect;
+                    if (! (old_rect && old_rect.x === new_rect.x && old_rect.y === new_rect.y && old_rect.width === new_rect.width && old_rect.height === new_rect.height)) {
+                        this.selection.set_from_rect(new_rect);
+                        this.commit_undo();
+                    }
+                }
+                else if (ev.key === 'A') {
+                    // Deselect
+                    if (this.mouse_op && EDITOR_TOOLS[this.current_tool].affects_selection) {
+                        // If we're in the middle of using a selection tool, cancel whatever it's
+                        // doing
+                        this.mouse_op.abort();
+                        this.mouse_op = null;
+                    }
+                    if (! this.selection.is_empty) {
+                        this.selection.defloat();
+                        this.selection.clear();
+                        this.commit_undo();
+                    }
+                }
+                else if (ev.key === 'z') {
                     this.undo();
                 }
                 else if (ev.key === 'Z' || ev.key === 'y') {