{
    "No Bookmarks found": "No Bookmarks found",
    "Type a line number or a piece of code to navigate to": "Type a line number or a piece of code to navigate to",
    "The Bookmark {0} is not defined": "The Bookmark {0} is not defined",
    "Select a workspace": "Select a workspace",
    "Error loading Numbered Bookmarks: {0}": "Error loading Numbered Bookmarks: {0}"
}