minor ui tweaks
authorhgn <hgodden00@gmail.com>
Thu, 14 Oct 2021 13:22:43 +0000 (14:22 +0100)
committerhgn <hgodden00@gmail.com>
Thu, 14 Oct 2021 13:22:43 +0000 (14:22 +0100)
Former-commit-id: 245a716a607eeed6e7d11f4bb3d9e0f643be1a8e


No differences found