Shell|GUI: Added placeholder buttons for future functionality
Also, fine-tuned toolbar appearance on Mac OS X.
View differences
Shell|GUI: Added placeholder buttons for future functionality
Also, fine-tuned toolbar appearance on Mac OS X.