2 Коммитов

Автор	SHA1	Сообщение	Дата
Miguel de Icaza	ca2ffb99b6	Various fixes reported by DrMike: ... - Nicer dialog destruction (no flicker) - refresh of panels after a drop. - Pause after run is gone in the gnome edition. - Improved layout for options dialog box. - Checkbox widgets are implemented, they now work. Miguel.	1998-04-07 23:45:27 +00:00
Miguel de Icaza	eb6b3842ab	Initial revision	1998-02-27 04:54:42 +00:00