feat: new encoder (wip)

examples/editor.html

@@ -298,7 +298,6 @@
 				rhs.style = 'color:initial';
 			});
 			jQuery('#search-text').on('keypress', (ev) => {
-				console.log(ev.which)
 				if (event.which === 13) {
 					ev.preventDefault();
 					jQuery('#search').click();