8 Commits

Author	SHA1	Message	Date
Robby Findler	1df6383e3c	fix ascii-art-enlarge-mode tests	2016-07-30 10:36:44 -05:00
Robby Findler	18404570dd	improve support for editing the ascii art (unicode) #2d rectangles ... specifically, add a mode that avoids breaking the edges of the rectangle when you type and add a keystroke for adding a new in the existing row	2016-07-30 04:55:01 -05:00
Robby Findler	28ca7c6d14	improve the situation for search results in nested editors ... This doesn't quite fix all the problems, as the outer editor doesn't get callbacks when the position changes in the inner editors (and the inner ones aren't propogating the callbacks currently) so the "n/m matches" display doesn't update properly in that case. Also, it doesn't (yet) try to draw the search bubbles for embedded editors Still, progress has been made; at least the bar is not red anymore when there are hits only in embedded editors closes PR 12786	2016-07-23 03:00:00 -05:00
Robby Findler	0863437394	dont allow undoing of the color changes that IO uses to indicate which port is which ... closes PR 15291	2016-04-20 12:37:09 -05:00
Robby Findler	f91ec3df28	fix all-string-snips? predicate	2015-07-25 16:44:22 -05:00
Robby Findler	ab998c9f53	add all-string-snips<%> and all-string-snips-mixin ... This is pulled out of DrRacket, mostly just to be able to add test cases	2015-05-09 11:17:54 -05:00
Robby Findler	955eb9755c	remove problematic and unecessary syncronization	2015-04-30 09:01:46 -05:00
Sam Tobin-Hochstadt	135e357a37	Remove extra directories.	2014-12-02 02:33:07 -05:00