Closed timotheeg closed 4 years ago
Small changes to make the UI work better in OSX (and hopefully it still works in windows too)
I'm gonna yolo and merge since the change looks as innocuous as possible :)
Small changes to make the UI work better in OSX (and hopefully it still works in windows too)