Commit Graph

3 Commits

Author SHA1 Message Date
Robby Findler
20e74c40bc adjust package manager gui to separate out (and make simpler looking)
the package installer

and make DrRacket have two separate menu items, one for installing a package
(which now looks simpler again) and one for doing all of the things you can
currently do with the package system in a GUI
2013-05-11 19:47:45 -05:00
Matthew Flatt
ab9caeb05c pkg/gui: fixes for label widths 2013-04-25 06:14:20 -06:00
Matthew Flatt
8c7632c025 pkg/gui: first cut at a GUI package manager
For now, run it with `racket -l pkg/gui/main'. The expectation
is that DrRacket will start using this GUI.
2013-04-23 14:05:20 -06:00