![]() 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 |
||
---|---|---|
.. | ||
draw | ||
drracket | ||
foreign | ||
framework | ||
gui | ||
guide | ||
htdp-langs | ||
inside | ||
main | ||
more | ||
quick | ||
raco | ||
reference | ||
scheme | ||
scribble | ||
slideshow | ||
tools | ||
finger.png | ||
icons.rkt | ||
info.rkt | ||
magnify.png |