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,