Robby Findler f0a85b7be2 fix a bug in the colorer refactoring ... As it turns out, changing the color (via change-style) can somtimes split snips, which can change the revision number, which means that the open port into the editor is no longer valid. Since this doesn't seem to happen very much when editing in DrRacket, we just detect this situation and give up on this colorer's port, and hopefully it actually doesn't happen much (the place it happened that let me notice this was when inserting an image via a menu in the drracket test suites) original commit: 226a7140b5784531103e10338785249a37aac677		2012-10-31 10:16:16 -05:00
collects	fix a bug in the colorer refactoring	2012-10-31 10:16:16 -05: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