🚀 go-pugleaf

Jerry Graves (jerry@math.ep.utexas.EDU) wrote:

> I won't say that those who prefer a separate minibuffer don't deserve
> a choice, but it would be my guess the Jamie and fellow coders at
> Lucid would have less of a headache by eliminating a seldom used
> option.  If it makes any difference, when I upgraded Epoch from 3.2 to
> 4.0, everyone here was very pleased that this orphan minibuffer had
> finally returned home.

I wouldn't call it a "seldom-used option". Maybe we should have a poll here
to see how many of the epoch users actually use a separate-minibuffer..

Being one of the original people who pestered Jamie about
detached-minibuffer, I'll add my plea to Jamie : please don't rip it out.
Leave the code in. When I get a little time (soon, I hope), I might even
take a crack at making it work.

However, to be totally honest, I won't be heartbroken or anything if I lose
detached-minibuffer. It's only that when using a rooms-type window manager,
it's nice to have a screen that is guaranteed to be sticky and appear in
all the rooms.

I used to use an ugly hack (I popped up a screen called "DUMMY", with a
100x1 geometry) and have that be sticky, but 100x1 translates into 100x3
(after removing window-manager decorations, no less), which makes for a
pretty big band at the top of my screen, two-thirds or more of which is
useless..
--
Shankar Unni				E-Mail:	shankar@sgi.com
Silicon Graphics Inc.			Phone:	+1-415-390-2072