On Fri, 6 Jan 2012 at 0:11:03 -0500, David Rawson Couzelis wrote: > > 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)".
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. If the resolution changed to something smaller and the docks no longer fit, that's clearly a temporary thing - the higher resolution will come back later. Nobody will set this option to "yes, drop my dockapps to fit in whatever resolution that beamer might be using", because later on they will have to put them back (nobody knows how many). Where in the code wmaker drops the docks? You have to disallow that unconditionally, imho. -- To unsubscribe, send mail to [email protected].
