Henrik Giesel 0d83581ab0 Fix insert media always insert at the start (on Windows) (#1684) ... * Move Trigger into its own file * Try implement HandlerList * Implement new input handler and handler-list * Use new refocus HandlerList in TextColorButton * Fix TextColorButton on windows * Move ColorPicker to editor-toolbar * Change trigger behavior of overwriteSurround * Fix mathjax-overlay flushCaret * Insert image via bridgeCommand return value * Fix invoking color picker with F8 * Have remove format work even when collapsed * Satisfy formatter * Insert media via callback resolved from python * Replace print with web.eval * Fix python formatting * remove unused function (dae)		2022-02-25 10:59:06 +10:00
..
AppIcon.appiconset	Fix insert media always insert at the start (on Windows) (#1684)	2022-02-25 10:59:06 +10:00
Contents.json	Fix insert media always insert at the start (on Windows) (#1684)	2022-02-25 10:59:06 +10:00