Commit Graph

8 Commits

Author SHA1 Message Date
Matthew Flatt
bb65242f64 fix various problems with the GUI package manager 2013-08-20 17:17:57 -06:00
Matthew Flatt
83a813b1e5 GUI package manager: fill in functionality
Add supoprt for various operations that became available in the
command-line interface.
2013-08-20 15:27:33 -06:00
Robby Findler
68b088d925 add support for the --deps command-line argument to the GUI package manager 2013-08-12 18:34:09 -05:00
Philippe Meunier
4bbf4c7264 Remove install-pkg-inferred-as duplicate 2013-08-04 01:10:17 +09:00
Matthew Flatt
d94a4cd830 add migration panel to GUI package manager
Also add "gui-pkg-manager" packages, including a "Racket Package Manager"
GUI application (that needs a better icon).

The package that supplies "Racket Package Manager" is not in the main
distribution, since DrRacket already includes the GUI package manager.
2013-07-26 14:07:05 -06:00
Robby Findler
ceca1e0ba7 add an option to disable the blue arrow things
(and thus the blue boxes) entirely

closes PR 13761
2013-06-29 07:11:18 -05:00
Patrick Mahoney
2f2bbd09cc Browser-to-Racket
Update the browser collection to use Racket lang instead of mzscheme.
2013-06-24 21:48:55 -05:00
Matthew Flatt
b2ebb0a28b reorganize into core plus packages
The "racket" directory contains a pared-back version of the
repository, roughly.

The "pkgs" directory everything else in the repository, but
organized into packages.
2013-06-19 09:01:37 -06:00