From 242b97e74589718eac1e9079ef20fbfe77e9f3c2 Mon Sep 17 00:00:00 2001
From: Tissevert <tissevert+devel@marvid.fr>
Date: Thu, 29 Nov 2018 21:59:18 +0100
Subject: [PATCH] Fix bug preventing the previous buttons mapping to be
 restored

---
 src/buttons.js | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/buttons.js b/src/buttons.js
index 964c13f..97b0bcd 100644
--- a/src/buttons.js
+++ b/src/buttons.js
@@ -21,6 +21,7 @@ function Buttons(session) {
 
 	function pop() {
 		mappingsStack.pop();
+		map(mappingsStack[mappingsStack.length-1]);
 	}
 
 	function push(newMapping) {