Description
Pragtical editor plugins can be installed and maintained from a dedicated plugin manager. This tool is useful for developers extending the editor with additional features. Plugins execute inside the editor environment, so plugin sources and update actions should be trusted.