1. Added horizontal scrolling to the Output bar;
2. Introduced Tools-Options with verbosity and num decimals settings.