description of badged branch in Designer header

This screenshot shows the items in the Designer's header that provide details about your Workspace's repository. This image displays the header items:

In this screenshot, the branch name in the header is badged to indicate that there are some changes in your local repository that you haven't pushed to the branch in the remote repository. The badge is removed after you push your changes.