1
1
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
..
1998-03-07 20:40:21 +00:00
1998-02-27 04:54:42 +00:00
1998-02-27 04:54:42 +00:00
1998-02-27 04:54:42 +00:00
1998-02-27 04:54:42 +00:00
1998-02-27 04:54:42 +00:00
1998-02-27 04:54:42 +00:00
1998-02-27 04:54:42 +00:00
1998-02-27 04:54:42 +00:00
1998-02-27 04:54:42 +00:00
1998-02-27 04:54:42 +00:00
1998-02-27 04:54:42 +00:00
1998-02-27 04:54:42 +00:00
1998-02-27 04:54:42 +00:00
1998-02-27 04:54:42 +00:00
1998-02-27 04:54:42 +00:00
1998-02-27 04:54:42 +00:00
1998-02-27 04:54:42 +00:00
1998-02-27 04:54:42 +00:00
1998-02-27 04:54:42 +00:00
1998-02-27 04:54:42 +00:00
1998-02-27 04:54:42 +00:00
1998-02-27 04:54:42 +00:00
1998-04-07 19:08:31 +00:00
1998-02-27 04:54:42 +00:00
1998-02-27 04:54:42 +00:00
1998-02-27 04:54:42 +00:00
1998-04-07 23:45:27 +00:00
1998-02-27 04:54:42 +00:00
1998-02-27 04:54:42 +00:00
1998-02-27 04:54:42 +00:00