GNOME Bugzilla – Bug 719638
Can't maximize the media library, had to reduce the previewer to get that result
Last modified: 2014-11-06 21:17:51 UTC
Hi, Wanted to get the whole details in media library List mode, i tried to use the grip to maximize the media library but i couldn't. I had then the idea to reduce the previewer and, magic : i got a bigger media library ! User should be able to directly expand the media library without having to workaround things like thinking about reducing the previewer Thanks
Hmmm, that's unfortunate, but I don't think there's really something we can do there, it's just how GTK works. For info, the main window is made of GTK Paned (one vertical separating the timeline area from the upper area, and two horizontal separating the media library, contextual tabs and previewer). They are inside one another. We don't have a way to tell them to behave "as equals". The only way I would see to prioritize the media library over the viewer is to flip the whole hierarchy of widgets the other way around... and you would then end up with the opposite problem: you can't size up the viewer because the media library is blocking it, etc. I suspect we'd have people finding that to be a bug too. For what it's worth, on a high resolution widescreen display (ex: 1920x*), the Pitivi interface behaves exactly like what I would expect, resizing the media library only trades off space with the contextual tabs (such as clip properties) instead of having my image size dance around. Arguably, HD displays (and "soon to become the norm" hi-DPI/"retina" displays) are the reasonable formfactor for video editing...
Okay, what I understand is that GTK+ doesn't provide a tool for that. In other words, a bug should be filled against GTK+ and linked to that one... Thanks !
In Android there is a nice setup for LinearLayout children to share the available space. Basically you set a minimum w/h (by setting the child's w/h) and then you specify a weight which represents the percent of the extra space the child will get (or the percent of the total missing space the child will miss) (child percent = total weights / child weight). When a grip is dragged it would be a matter of redistributing the weights of the children. Might not work as expected. :)
Hey Alex, unless you want to make a patch to attempt this (I'm weary of wonky side-effects) I guess we'll consider this wontfix/notpitivi.