robamler
commented
10 years ago - Dontprint toolbar button should have a version that looks better in the new menu (i.e., large monochrome icon, that when clicked lets a submenu slide in just as the "developer tools" button does).
- Adjustments at each place where Dontprint.getToolsMenuLabel() is called.