id	summary	reporter	owner	description	type	status	priority	milestone	component	version	resolution	keywords	cc
1009	Plugin manager does not properly disable plugins	zenogantner	zenogantner	"How to reproduce:
1. Ensure that e.g. the XML or the LaTeX plugin are enabled.
2. Load a XML or .tex file.
3. Disable the plugin.
4. Try e.g. Ctrl-Shift-C (toggle comment).

Observed: it still works!

Expected: Should not work, because the plugin has status ""disabled"""	defect	closed	minor		plugins	0.70	fixed	inconsistency