Re: [9fans] bug in rio: unhiding deleted windows

[Rudolf Sykora]

it would be nicer to fix the bug.  covering it up would be oh so
> linux-y.
>
> - erik
>

Are you sure, it is the last bug? :) Otherwise one can again loose some
data...
Ruda