[cssed-devel] Always on top of main window in document list

[<mic...@ea...>]

This option is uncheckable once it is checked, unless you close the=20
document list.

Could it be made uncheckable?

Mich=E8le
<http://micmacfr.homeunix.org>=