Firefox tab bar on mouse over

Since Firefox 57 I’m using Tab Center Redux for showing my tabs on the left side. Because of that (and since screen space is precious) I didn’t need the default tab bar and so I disabled it with the hack I found in the wiki of Tab Center Redux:

#tabbrowser-tabs {
visibility: collapse !important;

I found this solution quite useful over the last months, but recently I got some web design to do and split my screen horizontally in half. In this mode the width of the sidebar used to much space. Disabling it with F1 also didn’t really help because then I had no tab list at all.

Today I got the idea of only showing the default tab bar, when necessary. Since I can’t capture keys with CSS (and I didn’t find a way to create a user JS file like userChrome.css) and pressing a key to show and hide would be too much work, I got the idea of showing the tabbar when hovering.

Animated picture of the Tabbar showing and hiding.
Click on the image to enlarge it.

The trick is to show a small rest of the tab bar above the address bar by default (in this case 5px). Only when the mouse cursor hovers this area, the full tab bar is shown. The following CSS code does this:

#TabsToolbar {
min-height: 5px !important;
max-height: 5px !important;
opacity: 0 !important;

#TabsToolbar:hover {
max-height: inherit !important;
opacity: 1 !important;

To use this, you have to paste this CSS code in your userChrome.css file.

Scrolling doesn’t work in GTK+ 3 apps in StumpWM

Since some time ago I could not scroll in any GTK+ 3 window in StumpWM with an external mouse. Today I found a workaround for this problem: executing export GDK_CORE_DEVICE_EVENTS=1 in a shell fixes the problem. To set this automatically when starting StumpWM insert the following in your ~/.stumpwmrc:

;; bugfix for scrolling doesn't work with an external mouse in GTK+3 apps.
(setf (getenv "GDK_CORE_DEVICE_EVENTS") "1")

This bug was also reported (and fixed) at the following bug trackers. However, none of those fixes worked for me.

I found this solution at’t-work-on-current-wed-sep-25-a-4175478706/.

How to run a web app on your desktop

Running a web app or a website on your desktop is nowadays much easier thanks to GitHub’s Electron.

Why would someone want this?

Well… This is a good question. For me there are only two reasons: you can start it from your launcher and it’s handled as its own application. But thats not why I’m writing this guide. My motvation is simple: It works.

Continue reading How to run a web app on your desktop

Linux Programs I Use


A few people asked me in the last time which tools and programs I use so I decided to put them in a short list.

I often look at lists like “The best …”, “Software you need” or similar posts. Not because I need them, but because I want to get inspired and learn about new / other tools that may become a program I use. This also means that in most cases there is more than one program listed below.

But there is one most important thing if you’re thinking about using a new / other program: The complete configuration shouldn’t take more than what it’s worth. It is without any sense to invest many hours to configure or switch to another program, if it doesn’t bring you an enormous improvement concerning productivity, speed and / or creativity. Remember always that your time is limited and is better invested in something you want to achieve.

Also keep in mind, that is is a list of software I like. I didn’t try all the available alternatives that are out there. If a program is not listed, it doesn’t mean that it’s bad or that I don’t like it.

I will update this list, if something changes, if I have the time.

Continue reading Linux Programs I Use