Default for the Buildset widget

[Matthew Woehlke]

Andreas Pakulat wrote:
> apparently we have a small problem :( Manuel today comitted a change to
> the project treeview hiding the buildset widget by default. I reverted
> that change and he and myself had a conversation about this.
> 
> [snip opinions]
> 
> Now what bothers me, Manuel and probably others as well is that you have
> to close the widget every single time you restart kdevelop. This is a
> technical problem that will be solved sooner or later (hi adymo, where's
> that next ui library?), so I think this argument is simply a temporary
> thing.
> 
> I'd be ok if we manage to make the buildset widget occupy less vertical
> space by default, i.e. the tableview just using space for 2 rows instead
> of the 4 or 5 it has space for right now. Not sure how thats done best.
> I'd also be ok with making the text smaller in the table-view, or other
> such changes.
> 
> So what does the rest of the community think?

Did I miss why "make it remember the last setting" isn't an option?

-- 
Matthew
On the internet, no one knows you're a cat...
   ...until you meow.
MEOW!