Linux native menus

I improved the Linux native menus a bit. There is still a lot to do (and I will keep working on it) but the improvements are already worth merging.