Would it be possible to integrate <code></code> and <source></source> into VE? We are using these tags on wv prety much to highlight the text in our educational resources e.g. from IT. I think also Wikibooks can fruit from that.
<code/> is already available from the text formatting menu (after you click "More"):
<source/> (also known as <syntaxhighlight/>, both are the same thing) can't be inserted, but can be edited when it already exists on a page. It is, however, handled very poorly. T45126 is about making it better, so I'll mark this bug as a duplicate of that.