UI tweaks
authorNiki Roo <niki@nikiroo.be>
Mon, 4 May 2020 21:42:13 +0000 (23:42 +0200)
committerNiki Roo <niki@nikiroo.be>
Mon, 4 May 2020 21:42:13 +0000 (23:42 +0200)
commitfaad7ff24ecb94772745ecb68ccf921d656dbeb6
treec00d9b035f3f762d22f01f50c8f07685fed076b7
parent3dd6ef2930a5de3aac55b37685fb2cc3a5d7c568
UI tweaks
ui/NavBar.java