Archive for the ‘MATE’ Category

How to reduce the size of Eclipse Juno and Kepler tab fonts on Linux

March 30, 2014

As my home PC has Windows 7 installed I run Linux on a VirtualBox virtual machine. With modern 16:9  monitors vertical pixels are a scarce resource and I don’t like wasting them. The Windows taskbar uses some, others are used by VirtualBox, a little more by MATE‘s own taskbar and by its window top bar. Luckily it is very easy to set change font sizes in MATE and I’m currently using 8 size fonts for everything… except that the font in the tabs of Eclipse Juno, the IDE I’m currently using, stubbornly refuses to obey my settings.

However it’s not that hard to tame it: as explained in this StackOverflow answer you just have to edit the e4_default_gtk.css file in the plugins/org.eclipse.platform_4.2.*/css directory of your Eclipse installation (the middle name depends on the exact Eclipse version), find the .MPartStack element and comment out the font-size definition:

.MPartStack {
/* font-size: 11; */
swt-simple: false;
swt-mru-visible: false;
}

This problem is also present in Eclipse Kepler and is solved in the same way.

How to view man pages with Yelp on Fedora 18 with the MATE desktop

February 15, 2014

At work CentOS 6 is the standard Linux distribution and I’ve become accustomed to using the default desktop’s help system to view man pages. This is actually Yelp, the GNOME help viewer, which in CentOS 6’s GNOME 2 based desktop is available by default in one of the menus.

At home however I’m currently using Fedora 18 with the Mate desktop, which doesn’t provide a similar setup, even though Yelp is used by several applications. A bigger problem, however, is the fact that once you do start Yelp there’s no evident way to get it to display man pages, even though it works from the command line, as in

yelp man:cat

This would not be very useful when Yelp is configured to run from one of the MATE menus. After some googling I found out from this forum thread that this is a known bug and that an undocumented workaround is to type Control-L in the navigation bar. After that man pages can be found with the same syntax as the one displayed above, i.e.

man:bash