Matthew Flatt
|
82457258e2
|
mrlib/terminal: create embedded terminal in a container sequence
|
2013-04-20 09:38:56 -06:00 |
|
Matthew Flatt
|
b7f17b389a
|
mrlib/terminal: generalize to allow an embedded terminal
That is, instead of always creating a new frame, allow the terminal
GUI to work as a panel.
|
2013-04-19 15:30:36 -06:00 |
|
Robby Findler
|
eb7c5ad84c
|
add edit|copy and edit|select all menu items to mrlib/terminal frames
|
2013-04-05 10:22:33 -05:00 |
|
Robby Findler
|
8246d073c0
|
adjust the package installation menu item in drracket to use mrlib/terminal
|
2013-04-04 11:10:30 -05:00 |
|
Robby Findler
|
ecf2b16bf0
|
refactor the plt installation code in drracket to pull out
the GUI wrapper around command-line like utilities
|
2013-04-03 22:23:26 -05:00 |
|