I'm currently in the process of trialling Gnomebuntu 13.10 in a virtual machine for web development work with a view to potentially ditching Windows 8.1 for development work in the near future. One of the issues I currently have with Gnome 3.8 is that there are no minimise or maximise buttons by default which screws with my productivity. Is there a way of adding these in? I've already tried the gnome-tweak-tool and there is no clear option to enable this functionality.
Any help would be greatly appreciated.