17 lines
1.4 KiB
Markdown
17 lines
1.4 KiB
Markdown
---
|
||
id: "57173ec9-fb4a-48d4-9378-3cd0825321e7"
|
||
number: 279
|
||
title: "Plugins sans restart : refresh UI préservant l’état + tools MCP install/reload affichage"
|
||
status: "closed"
|
||
priority: "high"
|
||
sprint: null
|
||
links: []
|
||
agentRefs: [{"agentId":"ab328d90-c307-4771-a3b6-6c56089c8506","role":"assigned"}]
|
||
attachments: []
|
||
createdBy: {"kind":"agent","agent_id":"a6c6ea12-bfc6-4bdc-8031-324102dfa34d"}
|
||
updatedBy: {"kind":"agent","agent_id":"a6c6ea12-bfc6-4bdc-8031-324102dfa34d"}
|
||
createdAt: 1788863673305
|
||
updatedAt: 1788865967900
|
||
version: 8
|
||
---
|
||
Demande utilisateur : lorsqu’un plugin est ajouté à IdeA, ne plus demander de redémarrer l’application si un reload d’interface suffit ; déclencher automatiquement le refresh après load du plugin ; préserver l’état utilisateur après refresh (projets ouverts, fenêtres/layouts, état de l’UI) et ne pas couper les agents en cours. Ajouter aussi un tool MCP permettant à un agent d’installer un plugin dans IdeA depuis un dossier, pour qu’un projet créant des plugins puisse appliquer son plugin, et un tool MCP permettant à un agent de hot reload l’affichage après modification du dossier d’un plugin déjà installé. Puis rebuild l’AppImage. À cadrer : réutiliser le hot reload agent-facing existant (#269 / idea_plugin_reload), ne pas redémarrer le runtime, distinguer refresh UI de restart process, permissions WriteAction et contraintes de chemin. |