[plt-scheme] 399: how to get the internal helpdesk browser?
Prabhakar Ragde
plragde at uwaterloo.ca
Fri May 9 11:49:55 EDT 2008
Eli Barzilay wrote:
> (That's probably some OSX thing, right? I think that in all other
> places, there would be no difference between a new MrEd window and a
> new browser window...)
I don't know if it's OS X specific. When a browser window is active, the
menu bar at the top is for the browser, not for DrScheme, and the
keybindings are for the browser also. --PR
More information about the plt-scheme
mailing list