On Mon, Jan 19, 2015 at 2:54 PM, Curt Howland <Howland@...> wrote:
> Well, it's been more than a week, so if it was going to revert to full
> sized, it should have done so by now.

Perfect. Full sized, and much better looking interface than the GNOME standard.

Many thanks. TDE for the win!

-- 
The secret of happiness is freedom,
and the secret of freedom is courage.
- Thucydides