Go to the SourceForge project home page
Theme management (skins)Go to documentation index
Table of contents
In the preferences, in the GUI tab, you can select a graphical theme and/or a font to be used for HeavyMole with your user, allowing you to set the application appearance exactly how you like it.
Tons of GTK 2 themes can be found on the web. Main places are http://art.gnome.org/themes/gtk2/index.php and http://themes.freshmeat.net/browse/958/?topic_id=958
To install them, you will need to download the file, extract it and move it to your GTK theme path. This path is printed at the start of HeavyMole (or look in the logfile.txt file). Under MS Windows, this path should be "C:\Program Files\Common Files\GTK\2.0\share\themes" if you installed the GTK+ and gtkmm libraries, or "C:\Program Files\HeavyMole0.7.0\share\themes" if you installed the HeavyMole-0.7.0-Installer.exe file.
Once you installed a new theme, you don't need to stop and re-launch HeavyMole, simply click on the "Refresh list" button next to the theme selection menu in the preferences.
Note that the use of some themes can slow down the graphical interface, so you have to try them on your system to see if they're not too heavy.
Lots of themes use some specific theme engines. You need to have the libraries of these engines installed on your system in order to use these themes.
If the libraries are not installed, you will get the following kind of error message when you try to switch HeavyMole to the desired theme:
MS Windows system: if you have installed the HeavyMole-0.7.0-Installer.exe installer, you should have already most of the engines installed. Else, you could try the gtk2-theme-engines-0.1.exe package.
UNIX system: you have to search for the desired package. Try for example a search on the debian search page: http://packages.debian.org/cgi-bin/search_packages.pl?keywords=gtk+themes&searchon=all&subword=1&version=stable&release=all.
http://heavymole.sourceforge.net - This page was last updated on November, 26th 2003