2008/3/8 Paul Mackerras <paulus@xxxxxxxxx>: > > As I said earlier, this is really the job > > of a window manager, *not* a configuration option. If your window > > manager cannot restore the window to a size you control, then it's > > broken. Let's not hack applications to work around that, please. > > I disagree. It's not a window manager's job to tell an application > how big its window should be. There are some modestly popular tiling window managers that attempt to remove the bother of having to manually move windows around which take the view that the window manager's decisions should only be overruled in the very rare cases where it's absolutely necessary, eg, Ion http://modeemi.fi/~tuomov/ion/ dwm http://www.suckless.org/wiki/dwm (The major windows that don't resize well are from image based programs where you want exactly the underlying image on your display. Text based programs like gitk work great under autoresizing.) However, the current gitk appears to work fine on those window managers because the internal dividers get automtatically resized whenever the global window resizes, and the wm resizes the window so quickly after creation I don't have time to notice it. -- cheers, dave tweed__________________________ david.tweed@xxxxxxxxx Rm 124, School of Systems Engineering, University of Reading. "while having code so boring anyone can maintain it, use Python." -- attempted insult seen on slashdot -- To unsubscribe from this list: send the line "unsubscribe git" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html
