{
    "No Bookmarks found": "Nenhum Bookmark encontrado",
    "Type a line number or a piece of code to navigate to": "Digite um número de linha ou pedaço de código para navegar",
    "The Bookmark {0} is not defined": "O Bookmark {0} não está definido",
    "Select a workspace": "Selecione um workspace",
    "Error loading Numbered Bookmarks: {0}": "Erro lendo Numbered Bookmarks: {0}"
}