title: Temporarily disable Eclipse plugin
body: <p>Is there a way to disable an Eclipse plugin without actually uninstalling it?</p>
  
  <p>(Eclipse 3.3 had a "disable" button but this is now missing from Eclipse 3.4+.)</p>