Up until recently the following worked for me. Create a custom keybindings file. Add the following line.<div><br>(keybinding "c:\\" (ë (editor evt) (send editor insert "ë")))</div><div><br></div><div>
And a Ctrl:\ would insert a ë for me. Recently this has stopped working as reported below. Any ideas on how to bring it back?</div><div><br></div><div>Thanks,</div><div><br></div><div>Ray</div><div><div class="gmail_quote">
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div><br></div><div>The key binding is invoked, however, I'm seeing the following in a pop-up.</div><div><br></div>
<div>Error running keybinding</div><div>send: no such method</div><div>method name: insert</div><div>class name: cts/version/tool.rkt:176:9</div>
<div><br></div></blockquote></div></div>