David Blume
Minor UI changes
David Blume commited ad52a22 at 2018-10-21 19:57:15