Skip to content

fix: disabling an agent also disables its UIContribution#14184

Merged
JonasHelming merged 1 commit intoeclipse-theia:masterfrom eneufeld:fix/deactivateAgentSep 18, 2024
+44-10

Commits

Commits on Sep 17, 2024