I don't think there should be a WPrefs option for it, it doesn't make
sense. The dockapps should never be removed without the manual
intervention of the user.
I agree. I don't think anyone would ever use that WPrefs option. :P
...but, theoretically, there is a possibility that a user could end up
with dock icons that are impossible to access because they aren't on the
screen anymore. If that happened, there wouldn't be any way to remove
them by using the GUI. That was the reason I made the WPrefs option.
Anyway, if you think it's better to NOT have the WPrefs option, then you
only need to change one line to fix this behavior. ;)
Where in the code wmaker drops the docks? You have to disallow that
unconditionally, imho.
"dock.c", line 1093
Whatever you decide (WPrefs or no WPrefs) is ok for me. :)
--
To unsubscribe, send mail to [email protected].
