[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: patch for optional inhibit of delete-other-windows(IDE feature)
From: |
Richard M Stallman |
Subject: |
Re: patch for optional inhibit of delete-other-windows(IDE feature) |
Date: |
Thu, 01 May 2008 19:44:01 -0400 |
> 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?
- Re: patch for optional inhibit of delete-other-windows(IDE feature),
Richard M Stallman <=