🚀 go-pugleaf

In article <1asp4oINNnjl@gap.caltech.edu> madler@cco.caltech.edu (Mark Adler)  
writes:
> 
> Volker Herminghaus-Shirai believes the documentation and says:
> 
> >> The Disk->* Workspace menu is greyed out when the active file viewer  
window
> >> does not display a directory on a removable media. Click on the  
appropriate
> >> icon in the file viewer to display a (e.g. the root) directory of the
> >> OD or Floppy disk. Then the Disk->Eject menu item should be selectable.
> 
> That's the way it's supposed to work.  However, there are two bug symptoms
> that violate that in both directions.  First, depending on what my auto-
> launched applications are (seriously!), Workspace leaves the Disk menu
> grayed out when a removable media is selected, whether it is the OD, CD,
> or floppy.  Removing Librarian from my dock fixed this.  (Other  
combinations
> of removed apps worked also.)
> 
> The other problem is that when my dock is set up to prevent the above bug,
> then if I have three removable media in there at the same time (OD, CD, and
> floppy), and I have selected my root hard drive in Workspace, then the
> Disk menu *is* lit, and cmd-e will eject one of the three media.  I do not
> know how to predict which one--it does not seem to depend on the order in
> which they were mounted.
> 
> I have sent this to bug_next.

Another way to trigger this bug is to autolaunch Engage!  Unfortunately, that  
exactly what most people would want to do with it.  =-(

> 
> Mark Adler
> madler@cco.caltech.edu