Re: [racket-dev] drRacket Close/Close tab

[Robby Findler]

Okay, I've added a pref.

Robby
_________________________________________________
  For list-related administrative tasks:
  http://lists.racket-lang.org/listinfo/dev