Re: patch for optional inhibit of delete-other-windows(IDE feature)

[Richard M Stallman]

    >     I chose "pin" because in some gui toolkits there is a widget that 
looks
    >     like a little needle/pin that you can use to "fasten" the window and 
not
    >     go away on certain operations.
    >
    > That is horribly cryptic and unclear.  We should rename it before
    > installing it.

    It's a pretty common term for this usage though.

I had never heard it before, so it can't be that common.

                                                      [A related example is
    "pinning" memory to prevent it from being paged out.]

That is normally called "locking" the page.

I suggest `nodelete' or `preserve' for this property.



On the other hand, maybe the proper implementation of window groups
will make this unnecessary.  If `delete-other-windows' only deletes
windows in the same group as the selected window, does that take
care of this?