… UI buttons because IE has an (of course) non-standard implementation of the event.target attribute. IE instead uses event.srcElement, but it can't even check for event.target being undefined because passing in events is borked too -- so we have to take the event from the window and overwrite the function event for IE, then check for it to be undefined. The behavior is unchanged for standards compliant browsers
…ikely to collide with other libs. Need to figure out a better long term solution.
This way there's still a top border if the UI toolbar isn't displayed (like in a read-only mode) even if the CodeMirror-UI css is included.
'imagePath'. A distinct image path is really needed when you have a theming mechanism which determines image locations at runtime.
… expression queries
misleading as all occurences are not replaced, only the ones after the cursor are...