For this article I decided on using Fedora in a virtual machine. Pretty much all major Linux distributions offer a flavor with the Gnome desktop environment, so you can pick whichever you prefer. Since this articles focuses on changing the font of the Gnome top bar, we’ll need a Linux desktop distribution with the Gnome desktop environment. Luckily, you can change the font of the Gnome top bar as I’ll explain in this article. The only thing that bothers me with the Gnome Adwaita theme is the default font size on the Gnome panel, so the top bar. When it comes to the theme, I tend to stick to just the default Gnome Adwaita theme. I install just the must-have ones for my preferred work flow and skip the nice-to-have ones. To counter these issues, I put my Gnome extensions on a diet. As a result, I run into these issues about every half year, when a new major Gnome version releases. So going from Gnome 40 to 41 and to 42, etc.Īs some of you know, I run the rolling openSUSE Tumbleweed distribution on my main desktop machine. With every new major Gnome release, you risk breaking the installed themes and extensions. A flip side to this coin exists, if you run a rolling release distribution. Theming your Gnome desktop can be great fun. For more details on theming your Gnome desktop, take a look at this tutorial: That’s the one we’ll focus on in this article. The latter one controls the look of just the desktop, including the top bar in Gnome. To change the look and feel of your Gnome desktop, you can tweak four things: the icon theme, the cursor theme, the GTK theme and the shell theme. On Gnome’s top bar you find the activities button, the clock, the notification area and the name of the currently active application: The top bar in Gnome, officially called the top panel, always shows on your desktop. It involves creating your own minimal Gnome shell theme, as we’ll cover step-by-step. This article explains how you change just the font of the Gnome top bar. Enjoying the Gnome desktop, including the default Gnome Adwaita theme? Just wish the font on the Gnome panel was just a tad smaller? Then you came to the right place.
0 Comments
Leave a Reply. |
AuthorWrite something about yourself. No need to be fancy, just an overview. ArchivesCategories |