Just wanted to throw a request out there; that when you guys decide to port to Linux that you should consider making your own “CSD/GTKHeaderbar”-like element to handle the appmenu and window frame.
One of my biggest pet peeves with trying to find an IDE right now for my Arch Linux box running GNOME 3.12, is finding an editor that utilizes the modern window styles.
You could detect if the end-user is using a distro that is using the modern window decorations or using the appmenu-indicator/hud and then serve accordingly.
EDIT: Just please, for the love of god, DON’T throw them in a GTK2 menu and call it a day. But If you have to go that route, please give us the option of building out the app ourselves. This might sound OCD, but it really distracts me during work.