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)
commit9dc51bcb94c0d22f732104e209e4b73a82968346
tree37a198a4a1911b9aa83d028092da06e259d329e3
parent3cac410aae3b7a10cbfcd6c620c3d1a7abfa02aa
UI tweaks
src/be/nikiroo/utils/ui/NavBar.java