]> gitweb.michael.orlitzky.com - firefox-user-prefs.git/log
firefox-user-prefs.git
13 months agoui: open search results in a new tab
Michael Orlitzky [Mon, 2 Oct 2023 19:56:23 +0000 (15:56 -0400)]
ui: open search results in a new tab

15 months agoui: open all popups in a tab with the full user interface
Michael Orlitzky [Sun, 13 Aug 2023 00:52:36 +0000 (20:52 -0400)]
ui: open all popups in a tab with the full user interface

18 months agoui: prevent websites from hijacking keyboard shortcuts.
Michael Orlitzky [Fri, 19 May 2023 18:36:40 +0000 (14:36 -0400)]
ui: prevent websites from hijacking keyboard shortcuts.

2 years agoui: disable auto-save of opened files to $HOME.
Michael Orlitzky [Mon, 26 Sep 2022 18:37:45 +0000 (14:37 -0400)]
ui: disable auto-save of opened files to $HOME.

4 years agotracking: disable DNS-over-HTTPS and the "Normandy" service.
Michael Orlitzky [Thu, 2 Apr 2020 00:54:06 +0000 (20:54 -0400)]
tracking: disable DNS-over-HTTPS and the "Normandy" service.

5 years agoWhitespace changes.
Michael Orlitzky [Sat, 16 Mar 2019 14:19:59 +0000 (10:19 -0400)]
Whitespace changes.

5 years agomakefile: add the makefile to build/install the thing.
Michael Orlitzky [Sat, 16 Mar 2019 14:13:47 +0000 (10:13 -0400)]
makefile: add the makefile to build/install the thing.

5 years agoInitial commit: add the individual sections.
Michael Orlitzky [Sat, 16 Mar 2019 14:02:53 +0000 (10:02 -0400)]
Initial commit: add the individual sections.