From 03f0ce2dedc7f10fd6fb962086a628c55b65e5e3 Mon Sep 17 00:00:00 2001 From: chrislo27 Date: Sat, 8 Sep 2018 16:58:11 -0700 Subject: [PATCH] Fix message labels not updating when deleting through a keybind --- .../main/kotlin/io/github/chrislo27/rhre3/editor/Editor.kt | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/core/src/main/kotlin/io/github/chrislo27/rhre3/editor/Editor.kt b/core/src/main/kotlin/io/github/chrislo27/rhre3/editor/Editor.kt index 2060d46df..da6dfa10f 100644 --- a/core/src/main/kotlin/io/github/chrislo27/rhre3/editor/Editor.kt +++ b/core/src/main/kotlin/io/github/chrislo27/rhre3/editor/Editor.kt @@ -1388,6 +1388,8 @@ class Editor(val main: RHRE3Application, stageCamera: OrthographicCamera, attach EntitySelectionAction(this, this.selection.toList(), listOf()) ))) this.selection = listOf() + + updateMessageLabel() } else if (Gdx.input.isKeyJustPressed(Input.Keys.INSERT)) { main.screen = PatternStoreScreen(main, this, null, selection.toList()) } @@ -1423,8 +1425,10 @@ class Editor(val main: RHRE3Application, stageCamera: OrthographicCamera, attach (Gdx.input.isKeyJustPressed(Input.Keys.Y) || (shift && Gdx.input.isKeyJustPressed(Input.Keys.Z)))) { remix.redo() + updateMessageLabel() } else if (remix.canUndo() && Gdx.input.isKeyJustPressed(Input.Keys.Z) && !shift) { remix.undo() + updateMessageLabel() } }