Suport de repos privats: token de Gitea global configurable des del menú

jlauncher/settings.py

@@ -15,6 +15,7 @@ SETTINGS_NAME = "settings.json"
 class Settings:
     hide_not_downloaded: bool = False
     updates_pending: list[str] = field(default_factory=list)  # ids con update pendiente
+    gitea_token: str = ""  # token personal de Gitea para repos privados (no se versiona)
 
 
 def settings_path() -> Path:
@@ -32,6 +33,7 @@ def load_settings() -> Settings:
     return Settings(
         hide_not_downloaded=bool(data.get("hide_not_downloaded", False)),
         updates_pending=list(data.get("updates_pending", [])),
+        gitea_token=str(data.get("gitea_token", "")),
     )