SonicDE UI Bug (to me, anyway)

For those who can't see it: https://qu.ax/TkwF9 This is a UI bug I found from when I went ahead and installed SonicDE from the AUR SonicDE repository, but then I went ahead and manually did the work to install it from...