[07:49:47] * Gopa Working on VideoCutTool project
[17:54:24] <stjn>	 Am I correct to think that CodeMirror extension doesn’t really expose the editor they are working with in any way? Code for reference: https://github.com/wikimedia/mediawiki-extensions-CodeMirror/blob/master/resources/ext.CodeMirror.js
[17:56:19] <stjn>	 I’ve coded a user script that adds VE keyboard shortcuts to WikiEditor, but I can’t seem to find any way to enable keyboard events for CodeMirror editor.
[18:26:28] * Gopa Getting off from work, Going to bed :)