]>
gitweb.michael.orlitzky.com - firefox-user-prefs.git/log
summary |
shortlog | log |
commit |
commitdiff |
tree
first ⋅ prev ⋅ next
Michael Orlitzky [Mon, 6 Nov 2023 22:52:30 +0000 (17:52 -0500)]
media: disable in-browser webm player
Michael Orlitzky [Thu, 5 Oct 2023 23:14:53 +0000 (19:14 -0400)]
ui: set browser.tabs.closeWindowWithLastTab = true
Michael Orlitzky [Mon, 2 Oct 2023 19:56:23 +0000 (15:56 -0400)]
ui: open search results in a new tab
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
Michael Orlitzky [Fri, 19 May 2023 18:36:40 +0000 (14:36 -0400)]
ui: prevent websites from hijacking keyboard shortcuts.
Michael Orlitzky [Mon, 26 Sep 2022 18:37:45 +0000 (14:37 -0400)]
ui: disable auto-save of opened files to $HOME.
Michael Orlitzky [Thu, 2 Apr 2020 00:54:06 +0000 (20:54 -0400)]
tracking: disable DNS-over-HTTPS and the "Normandy" service.
Michael Orlitzky [Sat, 16 Mar 2019 14:19:59 +0000 (10:19 -0400)]
Whitespace changes.
Michael Orlitzky [Sat, 16 Mar 2019 14:13:47 +0000 (10:13 -0400)]
makefile: add the makefile to build/install the thing.
Michael Orlitzky [Sat, 16 Mar 2019 14:02:53 +0000 (10:02 -0400)]
Initial commit: add the individual sections.
projects / firefox-user-prefs.git / log