From 5f8fe9b371a2e6a8e4142058e64a10f796f20cd6 Mon Sep 17 00:00:00 2001
From: Perry Werneck <perry.werneck@gmail.com>
Date: Tue, 20 Oct 2020 11:50:55 -0300
Subject: [PATCH] Trying to fix F10 behavior.

---
 win/gtk.css           | 10 ++++++++++
 win/makeruntime.sh.in |  8 ++++++++
 2 files changed, 18 insertions(+), 0 deletions(-)
 create mode 100644 win/gtk.css

diff --git a/win/gtk.css b/win/gtk.css
new file mode 100644
index 0000000..6c73e8d
--- /dev/null
+++ b/win/gtk.css
@@ -0,0 +1,10 @@
+/* Disable F10 */
+@binding-set NoKeyboardNavigation {
+     unbind "<shift>F10"
+     unbind "F10"
+}
+
+* {
+     gtk-key-bindings: NoKeyboardNavigation
+}
+
diff --git a/win/makeruntime.sh.in b/win/makeruntime.sh.in
index d031ab3..22a1691 100755
--- a/win/makeruntime.sh.in
+++ b/win/makeruntime.sh.in
@@ -25,6 +25,9 @@
 # erico.mendonca@gmail.com      (Erico Mascarenhas de Mendonça)
 #
 
+# Get myDIR
+myDIR=$(dirname $(readlink -f "${0}"))
+
 # Disable i18n
 export LANG=C
 
@@ -286,6 +289,11 @@ copy_theme() {
 		exit -1
 	fi
 
+	echo "${myDIR}/gtk.css"
+	if [ -e "${myDIR}/gtk.css" ]; then
+		cp "${myDIR}/gtk.css" "${TARGET}/share/themes/${1}/gtk-3.0/gtk.css"
+	fi
+
 }
 
 #
--
libgit2 0.21.2