Trying to fix F10 behavior.

Perry Werneck
1 parent 4b420a0f
Showing 2 changed files with 18 additions and 0 deletions Show diff stats
win/gtk.css
win/makeruntime.sh.in
@@ -0,0 +1,10 @@
+/* Disable F10 */
+@binding-set NoKeyboardNavigation {
+     unbind "<shift>F10"
+     unbind "F10"
+}
+
+* {
+     gtk-key-bindings: NoKeyboardNavigation
+}
+
@@ -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
+
 }
  
 #
...	...	@@ -0,0 +1,10 @@
	1	+/* Disable F10 */
	2	+@binding-set NoKeyboardNavigation {
	3	+ unbind "<shift>F10"
	4	+ unbind "F10"
	5	+}
	6	+
	7	+* {
	8	+ gtk-key-bindings: NoKeyboardNavigation
	9	+}
	10	+
...	...
...	...	@@ -25,6 +25,9 @@
25	25	# erico.mendonca@gmail.com (Erico Mascarenhas de Mendonça)
26	26	#
27	27
	28	+# Get myDIR
	29	+myDIR=$(dirname $(readlink -f "${0}"))
	30	+
28	31	# Disable i18n
29	32	export LANG=C
30	33
...	...	@@ -286,6 +289,11 @@ copy_theme() {
286	289	exit -1
287	290	fi
288	291
	292	+ echo "${myDIR}/gtk.css"
	293	+ if [ -e "${myDIR}/gtk.css" ]; then
	294	+ cp "${myDIR}/gtk.css" "${TARGET}/share/themes/${1}/gtk-3.0/gtk.css"
	295	+ fi
	296	+
289	297	}
290	298
291	299	#
...	...