From f3f1d58fe100daf319f0024f93924db18774a25b Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Bj=C3=B6rn=20Tantau?= <puri.sm@s.bjoern-tantau.de>
Date: Wed, 15 Jul 2020 14:42:55 +0000
Subject: [PATCH] Add Menu key.

---
 data/keyboards/terminal.yaml | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/data/keyboards/terminal.yaml b/data/keyboards/terminal.yaml
index 457fbe54..6b355a1d 100644
--- a/data/keyboards/terminal.yaml
+++ b/data/keyboards/terminal.yaml
@@ -1,6 +1,7 @@
 ---
 outlines:
     default: { width: 50, height: 50 }
+    menu: { width: 100, height: 50 }
     altline: { width: 70, height: 50 }
     spaceline: { width: 160, height: 50 }
     special: { width: 35.33, height: 50 }
@@ -20,7 +21,7 @@ views:
         - "Q W E R T Y U I O P"
         - "A S D F G H J K L"
         - "Shift_L   Z X C V B N M  BackSpace"
-        - "show_symbols show_eschars preferences         space        < > Return"
+        - "show_symbols show_eschars preferences         space        Menu Return"
         - "Alt Esc PgUp PgDn Home End"
     symbols:
         - "~ ` ´ - _ + = ° © ®"
@@ -57,6 +58,9 @@ buttons:
         outline: "altline"
         icon: "edit-clear-symbolic"
         action: "erase"
+    Menu:
+        outline: "menu"
+        keysym: "Menu"
     preferences:
         action: "show_prefs"
         outline: "special"