drupal-plugin.js should also update the p/h1/h2/…/h6/pre dropdown

It currently doesn't. Hence you'd be able to e.g. use a <pre> or <h6> tag without that being allowed in the input format. As soon as you save it though, it will be filtered, and the <pre> and <h6> tags would be filtered away.