I'm slow today, I don't need the theme. For Plasma 5.1 that I have on an Ubuntu system, if I add an application menu bar panel, we do work with that. If there's another way to get a global menu like that, we'd have to look at it. Sorry for the confusion.