1 dump('entering symbol/clipboard.js\n');
3 function $(id) { return document.getElementById(id); }
9 dojo.query('.plain').forEach(function(node,index,arr){
10 addSymbolTrigger(node);
15 function addSymbolTrigger(node) {
16 if (!node.getAttribute('eg_has_symbol_trigger')) {
17 node.addEventListener(
20 if (event.charCode == 115 && event.ctrlKey){
22 $('symbol-panel').openPopup(node, 'after_pointer' );
26 node.setAttribute('eg_has_symbol_trigger', 1);
36 $('symbol-panel').hidePopup();
39 if (n.getAttribute('readonly')=='true') return;
42 var start = n.selectionStart;
43 var end = n.selectionEnd;
44 n.value = v.substring(0, start) + ins + v.substring(end, v.length);
45 n.setSelectionRange(start + ins.length,start + ins.length);