You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Update title of Save Annotated Source dialogue box
This dialogue's title did not reflect the name of the menu option that
displays it, so it was updated to included "Save Annotated Source".
When a snippet is being displayed the word "Snippet" was removed from
the title. Conversely the word "Category" was retained when displaying
a category.
0 commit comments