30 lines
1.1 KiB
JSON
30 lines
1.1 KiB
JSON
{
|
|
"$id": "en",
|
|
"Search for": "Search for",
|
|
"All": "All",
|
|
"Replace with": "Replace with",
|
|
"Replace": "Replace",
|
|
"Toggle Replace mode": "Toggle Replace mode",
|
|
"RegExp Search": "RegExp Search",
|
|
"CaseSensitive Search": "CaseSensitive Search",
|
|
"Whole Word Search": "Whole Word Search",
|
|
"Search In Selection": "Search In Selection",
|
|
"$0 of $1": "$0 of $1",
|
|
"Looks good!": "Looks good!",
|
|
"Recently used": "Recently used",
|
|
"Other commands": "Other commands",
|
|
"No matching commands": "No matching commands",
|
|
"Autocomplete suggestions": "Autocomplete suggestions",
|
|
"Cursor at row $0": "Cursor at row $0",
|
|
"Toggle code folding, rows $0 through $1": "Toggle code folding, rows $0 through $1",
|
|
"Toggle code folding, row $0": "Toggle code folding, row $0",
|
|
"Unfold code": "Unfold code",
|
|
"Fold code": "Fold code",
|
|
"Read annotations row $0": "Read annotations row $0",
|
|
"error": "error",
|
|
"errors": "errors",
|
|
"warning": "warning",
|
|
"warnings": "warnings",
|
|
"information message": "information message",
|
|
"information messages": "information messages"
|
|
} |