{
  "editor": {
    "title": "Edit File",
    "save": "Save",
    "saving": "Saving...",
    "saved": "Saved",
    "modified": "Modified",
    "unsaved_changes_confirm": "You have unsaved changes. Discard them?",
    "save_error": "Failed to save: {{error}}",
    "line": "Ln",
    "column": "Col",
    "encoding": "UTF-8",
    "readonly": "Read Only",
    "edit_mode": "Edit",
    "preview_mode": "Preview",
    "last_saved": "Saved",
    "network_error": "Network disconnected, please check connection",
    "retry": "Retry",
    "reconnecting": "Reconnecting...",
    "connection_lost": "Connection lost",
    "save_offline_warning": "Cannot save while offline",
    "encoding_detected": "Detected encoding: {{encoding}}"
  }
}
