Marco Martin d60897c0e9 config value to completely hide bottom panel ... it stays there just for input area		2017-09-05 17:02:30 +02:00
..
ui	config value to completely hide bottom panel	2017-09-05 17:02:30 +02:00