|
| From: | Richard M Stallman |
| Subject: | Re: patch for optional inhibit of delete-other-windows(IDE feature) |
| Date: | Wed, 30 Apr 2008 18:01:00 -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.
| [Prev in Thread] | Current Thread | [Next in Thread] |