zoombox: add space
authorNiki Roo <niki@nikiroo.be>
Thu, 7 May 2020 19:00:10 +0000 (21:00 +0200)
committerNiki Roo <niki@nikiroo.be>
Thu, 7 May 2020 19:00:10 +0000 (21:00 +0200)
commit57903517548758b8252e4719347280c6fff3f685
tree271907eaf6f1ddb00caba3011d81eaec88a898b2
parentdeb87ccad5431a0e6698a3e15e7fdcb72afcc1fd
zoombox: add space
ui/ZoomBox.java