Further to requests to add Highlighting styles to the toolbar, could you please include the "erase" button in this? This would make it a lot easier to perform most highlighting tasks without having to keep the Highlighting palette open.
Thanks
Richard