Category Archives: Linux

Eclipse 4.x tab font sizes in GTK

The Eclipse 4 branch introduced some notable visual changes compared to the previous 3.x releases, like a reliance on more whites than greys. While unexpected at first, most of these changes just take some getting used to. With the exception … Continue reading

Posted in Eclipse, Linux | Tagged , , | 2 Comments

Fixing pulseaudio issues on Ubuntu 12.10

After a long hassle with varying sound libraries over the years, I’ve been relatively happy with how pulseaudio turned out for a while now. It still has its quirks, but it’s been mostly working fine for the last few versions … Continue reading

Posted in Linux | Tagged , , | 5 Comments

Mapping KDE actions to extra mouse buttons

Note: The following is written for Ubuntu 12.04 and KDE 4. Other distributions will behave similarly, and the described solution can be used for software other than KDE as well, but the specific details may differ in those cases. For … Continue reading

Posted in Computers, KDE, Linux | Tagged , , | 10 Comments