Retourner au contenu associé (entrée de forum : Gestionnaire de shell persistant)
Posté par pif17 le 10 janvier 2022 à 10:51. En réponse au message Gestionnaire de shell persistant. Évalué à 2.
C'est effectivement quelque chose comme cela, un rechargement automagique de toute les sessions précédente, un peu comme les sessions de Firefox après un reboot du navigateur.
AltStyle によって変換されたページ (->オリジナル) / アドレス: モード: デフォルト 音声ブラウザ ルビ付き 配色反転 文字拡大 モバイル
[^] # Re: Cas d'usage ?
Posté par pif17 . En réponse au message Gestionnaire de shell persistant. Évalué à 2.
C'est effectivement quelque chose comme cela, un rechargement automagique de toute les sessions précédente, un peu comme les sessions de Firefox après un reboot du navigateur.