OTECTED]; Micah Dowty
> Subject: Re: AW: [Pgui-devel] RFC: WindowManager zoom-function
>
>
> I am very comfortable with the current configuration of the rotate button,
> but I am saying this with respect to a PDA. A desktop user might have his
> views.
>
> -tasnim
>
&g
12, 2001 12:06 AM
Subject: Fwd: AW: [Pgui-devel] RFC: WindowManager zoom-function
> Does anyone else think the rotate button is confusing? Kitkat's suggestion
below
> would require rethinking the panel widget somewhat, but if enough people
think
> it's a good id
: Tue, 11 Sep 2001 21:00:08 +0200
From: kitkat <[EMAIL PROTECTED]>
Reply-To: kitkat <[EMAIL PROTECTED]>
Subject: AW: [Pgui-devel] RFC: WindowManager zoom-function
To: Micah Dowty <[EMAIL PROTECTED]>
Hi Micah, hi folks,
> I still think the rotate button is necess
Hi Micah, hi folks
thanks for the new PG_WP_MARGIN property. This solves my problem.
Just some words to the 'zoom'-button:
I think the zoom-option like it's implemented at the moment isn't really
what someone would expect.
IMHO the zoom-button should be used to toggle between two modes.
The 'di
