translations_en.json

{
    "already_open_err_msg": "The file is already open",
    "cannot_encode": "Cannot encode in {}",
    "case insensitive": "Case insensitive",
    "Charset not found": "Charset not found",
    "close": "Close",
    "config": "Configuration",
    "edit": "Edit",
    "encoding": "Encoding",
    "Encoding error": "Encoding error",
    "encoding_err_msg": "The file cannot be encoded in {}\nTry with another encoding :",
    "extension": "Extensions",
    "file": "File",
    "file_change": "File {} was modified.\nReload ?",
    "File not found": "File not found",
    "full word": "Full word",
    "highlight": "Syntax highlight",
    "HTML encoding": "HTML encoding",
    "linefeed": "Linefeed",
    "new": "New",
    "not encoding": "The file is not encoded in {}",
    "not_python": "This is not a Python script",
    "open": "Open",
    "opening_file": "Open file",
    "search": "Search",
    "search in files": "Search in files",
    "search_in_files": "Search in files - {}",
    "string": "String: {}\n\n",
    "redo": "Redo",
    "regular expression": "Regular expression",
    "replace": "Replace",
    "replace all": "Remplace all",
    "replace by": "Replace by",
    "replace next": "Replace next",
    "run": "Run",
    "save" : "Save",
    "save as": "Save as",
    "search_in_files": "Search in files - {}",
    "spaces_per_tab": "Spaces per tab",
    "trailing_whitespace": "Trailing whitespaces",
    "undo": "Undo",
    "unicode error": "Unicode error",
    "wrap": "Wrap"
}