Re: Interrupted enumerations.

[Jürgen Spitzmüller]

rgheck wrote:
> It is supposed to be UI policy that things on context menus have to
> exist elsewhere, too. So we'd have to figure out where to put this.

Yes. Furthermore, this is a file format change.

Jürgen