[240167] should deleting a server in servers view close an open server editor?
2 files changed
tree: d125e1b0e07a765106520cf06b4df86ac0253ce0
  1. features/
  2. plugins/