From b844d9b006d8f92a20f16041029d6f487501f92e Mon Sep 17 00:00:00 2001 From: Vincent Bernat Date: Sat, 15 Oct 2022 21:17:38 +0200 Subject: [PATCH] firefox: remove setting now set by default --- dotfiles/firefox.js | 1 - 1 file changed, 1 deletion(-) diff --git a/dotfiles/firefox.js b/dotfiles/firefox.js index 33e34a0..cce5cef 100644 --- a/dotfiles/firefox.js +++ b/dotfiles/firefox.js @@ -12,7 +12,6 @@ user_pref("ui.context_menus.after_mouseup", true); // Don't display menubar when pressing Alt user_pref("ui.key.menuAccessKeyFocuses", false); // Keep GTK keybindings -user_pref("ui.key.textcontrol.prefer_native_key_bindings_over_builtin_shortcut_key_definitions", true); user_pref("ui.key.use_select_all_in_single_line_editor", false); // Be more compact