Skip to main content

Posts

Showing posts from February, 2021

Dock flickering In Gnome

I'm using Pop!_OS on my current machine, and have the Gnome desktop enabled. I'm always on the lookout for good tweaks and one that I like is Dash To Dock that turns the standard Dashboard along the left hand side of the screen into a dock, similar to on MacOS. I really like this extension as it fits my workflow better to have a dock on my screen that automatically hides when a window covers it. You can add your favourite applications to it and also add the application launcher. I'm currently running Gnome version 3.38.3 and there's a small bug that makes the application launcher flicker when its opened. Fortunately, there is a simple fix described here . On my machine, this meant editing the ~\.local/share/gnome-shell/extensions/dash-to-dock@micxgx.gmail.com/docking.js file and editing the if (animate) { clause at line 1896 to read: if (animate) { Main.overview.viewSelector._activePage = Main.overview.viewSelector._appsPage; Meta.later_add(Meta...

Changing Default Search Provider in Firefox on Linux Mint

On Linux Mint, the default version of Firefox is installed and configured to allow the following search engines to be queried directly from the address bar: Yahoo! Startpage DuckDuckGo Wikipedia Mint defines these as the default available set of search engines based upon 3 criteria (funding to Linux Mint, privacy support and whether the search engine is non-commercial). Other search engines such as Google, Bing or Twitter, etc. can easily be added into the default version of Firefox however. To add a different search provider, browse to Search Engines At the bottom of the page, click on the icon of the requested search engine, then click on the ... button in the URL bar and select the Add Search Engine option. You then have the option to change the default search engine within Firefox preferences to your new choice.