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 "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