From: Emmanuel P. <emm...@in...> - 2010-10-02 12:56:12
|
On 2 oct. 2010, at 11:14, Carsten Otto wrote: > On Sat, Oct 02, 2010 at 11:05:08AM +0200, Emmanuel Pietriga wrote: >> I'm still not sure I fully understand the issue: do you mean that when >> resizing the overview window, the content is not zoomed to fully use >> available screen real-estate? > > Correct, screenshot attached (made at home with 2660x1600 Pixels screen > size). It seems the window either is not aware of the changed dimensions > or ignores these and adjusts its size based on some fixed values (that > are also used for the default window size). > > The screenshot shows two windows split in the middle of the screen. The > left half is the overview window, the right view is the main window > zoomed into the graph. As you can see, the overview window is not really > usable and does not use the whitespace around it at all. I just checked: the overview window is actually NOT supposed to be resizable in ZGRViewer. You window manager ignores that and lets you resize it, but then ZGRViewer does not do anything when you resize. This is a limitation I had forgotten about. We'll address it. -- Emmanuel Pietriga INRIA Saclay - Projet In Situ http://www.lri.fr/~pietriga |