|
From: | Miles Bader |
Subject: | Re: patch for optional inhibit of delete-other-windows(IDE feature) |
Date: | Thu, 01 May 2008 11:57:50 +0900 |
Richard M Stallman <address@hidden> writes: > 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. [A related example is "pinning" memory to prevent it from being paged out.] -Miles -- Year, n. A period of three hundred and sixty-five disappointments.
[Prev in Thread] | Current Thread | [Next in Thread] |