luigi@debian:~$ cat .icewm/preferences

OpaqueMove=0
OpaqueResize=0
SmartPlacement=1
MenuMouseTracking=1
ModSuperIsCtrlAlt=1
UseMouseWheel=1
QuickSwitch=1
AutoReloadMenus=1
ShowProgramsMenu=1
ShowThemesMenu=1
ShowHelp=1
TerminalCommand="aterm"
ShutdownCommand="sudo halt"
RebootCommand="sudo reboot"
WorkspaceNames=" 1 ", " 2 "


ShowTaskBar=1
TaskBarAutoHide=0
TaskBarShowClock=1
TaskBarShowAPMStatus=0
TaskBarAtTop=1
TaskBarShowAPMStatus=0
TaskBarShowAPMTime=0
TaskBarShowMailboxStatus=1
TaskBarShowWindows=1
TaskBarShowShowDesktopButton=0
TaskBarShowTray=1
TaskBarShowWindowIcons=0
TaskBarShowCPUStatus=0
TaskBarShowNetStatus=0
TaskBarShowCollapseButton=0
TaskBarWorkspacesLeft=1
TimeFormat="%a %d %b %R"
TaskBarShowShowDesktopButton=0
TaskBarShowWindowListMenu=0
TaskBarShowMailboxStatus=0
NormalTaskBarFontName="-*-sans-medium-r-*-*-*-100-*-*-*-*-*-*"
NormalTaskBarFontNameXft="sans-serif:size=10"
ActiveTaskBarFontName="-*-sans-r-*-*-*-100-*-*-*-*-*-*"
ActiveTaskBarFontNameXft="sans-serif:size=10"