[vwnc] Getting rid of "Current Package"

> -----Original Message-----
> From: [hidden email] [mailto:[hidden email]] On Behalf Of Andre Schnoor
> Sent: Friday, June 20, 2008 5:46 AM
> To: vwnc List
> Subject: [vwnc] Getting rid of "Current Package"
>
> Hi all,
>
> this might be a stupid question, but I can't seem to find a way to
> restore the default state where no "Current Package" is selected using
> the tools GUI. I recently used "Package >> Set as Current" for the
> first time and am now stuck because I can't "undo" this (i.e. restore
> nullPackage being the current packge).
>
> Store.Registry currentPackage: Store.Registry nullPackage
>
> The above expression obviously achieves this.
>
> I would like to suggest to not disable the menu item when no package
> is selected. Instead, the item should read "Unset Current Package" or
> similar.
>
> Andre
>
> _______________________________________________
> vwnc mailing list
> [hidden email]
> http://lists.cs.uiuc.edu/mailman/listinfo/vwnc