[1811] in testers

home help back first fref pref prev next nref lref last post

dash and console changes

daemon@ATHENA.MIT.EDU (daemon@ATHENA.MIT.EDU)
Thu Aug 8 10:53:20 1991

Date: Thu, 8 Aug 91 10:53:19 -0400
From: Mark Rosenstein <mar@MIT.EDU>
To: jfc@ATHENA.MIT.EDU
Cc: vanharen@ATHENA.MIT.EDU, testers@ATHENA.MIT.EDU
In-Reply-To: jfc@ATHENA.MIT.EDU's message of Thu, 08 Aug 91 05:40:28 EDT <9108080940.AA106741@demi.mit.edu>

But this introduces very confusing behavior to the user.  If I login,
load the resource "*.reverseVideo: True" and then do a config_console,
I expect the console to change color but not move.  The console would
have to try to put itself below dash as well.  

I think that there is merit to the idea, but it should not be done at
this late date for this release.  When it is done, it should be done
in a more general way.  For example, have a property called TOP_MARGIN
which specifies some number of pixels that applications should avoid
covering. Then selected applications can be changed to look for and
honor this request.  It could even be an option in window managers not
to allow applications to cover it.  We should explore these ideas more
fully before proposing a half-way solution.
					-Mark



home help back first fref pref prev next nref lref last post