Add user configuration option to hide instance-specific panel
slightly touched language selector for it to better fit with other components on screen.
closes #196 (closed)
Edited by HJ
slightly touched language selector for it to better fit with other components on screen.
closes #196 (closed)
Merge details
Closed #196 (closed)
added 11m of time spent at 2018-12-05
changed the description
merged