[PATCH 03/17] Remove unused dummy widgets in filterwidget

[Tomaz Canabrava]

>
> I actually tested it and it didn't do anything for the layout for me, so
> i thought it was some sort of leftover. That was atleast what i traced
> it down to coming from in the history.
>
>
> Anyhow, it started with it leaking widgets and strings and due to it not
> making any difference for me i removed it.
>
>
> I'll take a closer look why it still works as expected for me, later.
>

Because you use a sane OS, most probably. :)
the issues comes from different OS's deffaults.


>
>
> //Anton
>
>
> --
> Anton Lundin    +46702-161604
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.subsurface-divelog.org/pipermail/subsurface/attachments/20141218/0b913972/attachment.html>