Path: utzoo!attcan!utgpu!jarvis.csri.toronto.edu!mailrus!uwm.edu!uakari.primate.wisc.edu!ginosko!usc!ucla-cs!maui!michael
From: michael@maui.cs.ucla.edu (michael gersten)
Newsgroups: comp.sys.amiga.tech
Subject: Re: 1.4 Wish: Revamped sizing gadget
Message-ID: <28268@shemp.CS.UCLA.EDU>
Date: 18 Oct 89 20:32:54 GMT
References: <5228@cbnewsm.ATT.COM> <4341@sugar.hackercorp.com> <539@tw-rnd.SanDiego.NCR.COM> <4714@amiga.UUCP> <4386@sugar.hackercorp.com>
Sender: news@CS.UCLA.EDU
Reply-To: michael@maui.UUCP (michael gersten)
Distribution: na
Organization: UCLA Computer Science Department
Lines: 33

In article <4386@sugar.hackercorp.com> peter@sugar.hackercorp.com (Peter da Silva) writes:
>I suggested moving the sizing gadget to the menu bar.
>
>In article <4714@amiga.UUCP> jimm@batgirl.UUCP (Jim Mackraz) writes:
>> Great idea, except you can't make the window taller using the gadget.
>
>Why not? Oh, you have to move the title bar/drag gadget when you resize it,
>and if it's already at the top of the screen you have to move the window down
>first. Neither of these are a real problem... just a policy decision (if that).

*GRR. <Why did I stop reading the group for a while?>

This will cause major problems if a window is resizable and not movable.
It will also cause problems if you want to shrink a window. Right now I
place my text window where I want the top, put some garbage text in,
and then shrink it until there is no wasted space at the bottom. Now
there is no way to shrink a window so that there is no wasted bottom space.

Besides, any growth/shrinkage must now be followed with a window move.

This sounds horrible.

Please, keep the size gadget in the corner, and do proper clipping/scrolling
so that we can get a 23 by 79 window that only scrolls when data is put in
the bottom corner. Or make the top size gadget a serperate option that
programs can request. Perhaps a preferences option to decide if
the system should map one size gadget to another size gadget.

(And how about my favorite beef: an option to force the top right corner of
screens (just one pixel) to be screen to front/back gaddgets, regardless
of windows).

			Michael