Red Hat Bugzilla – Bug 851994
Cinnamon does not honor gkrellm option "do not include on a taskbar"
Last modified: 2012-09-22 09:17:05 EDT
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):
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
A button for gkrellm appears on the taskbar.
No gkrellm button should appear on the taskbar.
This worked in Fedora 14 with Gnome.
Bug forwarded upstream
I'm also closing this issue as it's not my job to fix it.