[feature request] Allow the style of the popup menu to have rounded selection
This is probably just a minor thing and relatively easy to implement at the same time. It would be great if the selection in the popup menu could not just be a rectangle but could have rounded borders (i.e. as a setting of the theme, similar to tabs). This way some themes could provide a more consistent look.