Re: commit - Show/hide Standard/Format/Extra toolbars

[Martin Sevior]

Hi Joaquin,
           I just tried this. I think the "Extra's" toolbar is a great
idea. I'll put an "Insert Symbol" button on the Extra's toolbar some day
unless someone beats me to it.

There preference selection is nicely done too. This is a cool feature :-)

Cheers

Martin