are using a browser extension to selectively enable or disable
Review Request #1796
Created Sept. 19, 2022 and submitted Sept. 19, 2022, 5:40 a.m.
Convert GntGf plugin to GSettings
Fix weird indentation.
Revision 2 (+258 -76)
Awesome work, thanks!!