Comment 1 for bug 1019593

Fine with me. This was harder to do back when the preferences button was part of the side bar, but it has been there only during development. Trunk now hides preferences and quit button instead of disabling them.