Robby Findler 2398f08ed5 make right-clicking on non-text offer copy and cut in the ... 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 original commit: 6fff8a3030bfaddd0eb8113c9f67d6b7e70500ff		2012-11-22 17:33:34 -06:00
collects	make right-clicking on non-text offer copy and cut in the	2012-11-22 17:33:34 -06:00
doc/release-notes	remove unsupported MDI styles and method	2011-08-04 08:02:54 -06:00
man/man1	minor man-page corrections	2011-02-01 08:01:17 -07:00