Description of problem: Cinnamon does not honnor gkrellm option to not have a button on the taskbar if gkrellm is not of type 'dock' or 'panel'. If gkrellm is of type 'dock' or 'panel', then it won't have a button on the taskbar. Version-Release number of selected component (if applicable): cinnamon-1.5.2-6 gkrellm-2.3.5-9.fc17 How reproducible: Always Steps to Reproduce: 1. Start cinnamon 2. Start gkrellm and in Configuration > General > Properties, make sure "Set window type to be a dock or panel" is not selected and "Do not include on a taskbar" is selected. 3. Quit and restart gkrellm Actual results: A button for gkrellm appears on the taskbar. Expected results: No gkrellm button should appear on the taskbar. Additional info: This worked in Fedora 14 with Gnome.
Bug forwarded upstream https://github.com/linuxmint/Cinnamon/issues/1178 I'm also closing this issue as it's not my job to fix it.