From: Prabhakar Ragde (plragde at uwaterloo.ca) Date: 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
Posted on the users mailing list. |
|