Un workspace capture les onglets ouverts (sessions SSH, terminaux locaux,
splits avec leurs tailles) et les restaure plus tard. Ne reference les
sessions que par id : aucun mot de passe stocke, redemande a la restauration
exactement comme une ouverture normale.
- app/workspace.py : Workspace/WorkspaceTab/WorkspaceItem + WorkspaceStore
(meme pattern que SessionStore/KeyManager : JSON atomique, schema_version).
- app/controllers/workspace_manager.py : capture() lit l'etat reel des onglets
de ConnectionController (types de widgets, layout et tailles d'un
SplitContainer) ; restore() rouvre chaque onglet via
ConnectionController.build_session_tab()/build_sftp_tab()/new_local_terminal()
(factorises hors de open_session()/open_sftp_session() pour etre reutilisables
ici) puis reconstruit les splits avec split_tab(). Un element non restaurable
(session supprimee depuis) est signale (compteur "ignores") plutot que de
faire echouer toute la restauration.
- WorkspaceDialog : creer / enregistrer (ecraser) / ouvrir / renommer /
supprimer, plus la case "Restaurer automatiquement le dernier workspace
ouvert au demarrage" (desactivee par defaut).
- app/app_settings.py : preferences globales (theme, taille de police,
dernier workspace) consolidees dans un seul module au lieu d'un mecanisme
de lecture/ecriture duplique par prefernce dans theme.py.
- SplitContainer expose layout_kind et get_layout_sizes()/set_layout_sizes()
(parcours recursif des QSplitter imbriques) pour la capture/restauration
fidele d'une grille 2x2.
tests/test_workspace.py : capture (simple + split), sauvegarde/rechargement
JSON, restauration complete et partielle, renommer/supprimer/re-enregistrer,
restauration automatique - avec app_settings.SETTINGS_FILE redirige vers un
fichier temporaire pour ne jamais toucher les vrais reglages de l'utilisateur.
Co-Authored-By: Claude Sonnet 5 <noreply@anthropic.com>
