|
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] |