I use xrandr to decrease the resolution of my display when I connect it
to my TV. When I change the resolution back to my monitor, a few of the
icons at the bottom of my dock are deleted.
I already found the place in the code where this happens and changed it
so that any icon that I dock is never removed. I'd like to make a more
permanent change to the code, though.
First of all, is this the desired action?
It seems counter-intuitive to me. If I add icons to the dock, I expect
them to remain there until I remove them, even if the resolution
changes. Even so, I can understand how it would be back for a user to
get stuck with icons in the dock that can't be removed. (at least, from
the GUI)
One option is to have a checkbox in "Expert User Preferences" for "Crop
dock to screen size (needs restart)".
What do you think?
--
To unsubscribe, send mail to [email protected].
