Features in Development Tools
Toggle annotation bar if the "show annotation" button is clicked twice
Previously, it would just hide and then re-show the annotation bar.
This change is also very useful for the new possibility to add
a shortcut to show the annotation bar.