factor

Author	SHA1	Message	Date
Slava Pestov	be7dec33ae	more UI cleanups, fix jedit-stream bug	2005-06-29 03:50:23 +00:00
Slava Pestov	0c35f20a03	start unifying piles and shelves	2005-06-28 20:25:27 +00:00
Slava Pestov	7f4da7ecd0	generic words are more flexible, sequences cleaned up	2005-05-14 21:18:45 +00:00
Slava Pestov	181a8d9ff4	UI layout management work	2005-03-10 22:57:22 +00:00