🚀 go-pugleaf

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.

Mark Adler
madler@cco.caltech.edu