jejacks0n/mercury — pull request #384 by cartuchogl (2013-05-31 14:46:24+00:00)
Title: Allow toggle developer interface

Hi,

I'm doing tests with regions and snippets. I tried adding to the progress bar a hiding option to save space.

Here you have a pull request if you look good.