![]() popup menu Extends append-editor-operation-menu-items so that when you pass an editor and a position, it checks to see if that spot has a non-string% snip and, if so, copies that one position (or cuts it, depending). Then, use that extension in DrRacket closes PR 12791 |
||
---|---|---|
.. | ||
lang | ||
private | ||
doc.txt | ||
edit-main.rkt | ||
edit.rkt | ||
info.rkt | ||
installer.rkt | ||
main.rkt | ||
mred-sig.rkt | ||
mred-unit.rkt | ||
mred.rkt |