Slava Pestov d651bdc4d7 Clear undos when starting a new interaction in the listener		2009-01-28 12:12:03 -06:00
..
backend	Use singletons instead of empty tuples, add undo/redo to editor gadgets	2009-01-28 00:30:57 -06:00
clipboards	…
commands	…
event-loop	…
gadgets	Use singletons instead of empty tuples, add undo/redo to editor gadgets	2009-01-28 00:30:57 -06:00
gestures	Use singletons instead of empty tuples, add undo/redo to editor gadgets	2009-01-28 00:30:57 -06:00
operations	Fixing code for first-class fonts	2009-01-26 02:21:28 -06:00
render	Add texture aging	2009-01-26 23:11:45 -06:00
text	Add texture aging	2009-01-26 23:11:45 -06:00
tools	Clear undos when starting a new interaction in the listener	2009-01-28 12:12:03 -06:00
traverse	Eliminate some more usages of tuck	2009-01-25 17:55:27 -06:00
authors.txt	…
summary.txt	…
ui-docs.factor	Fix conflict	2009-01-27 15:49:49 -06:00
ui-tests.factor	…
ui.factor	Use singletons instead of empty tuples, add undo/redo to editor gadgets	2009-01-28 00:30:57 -06:00