Re: Talking to a wall? (tactless, yet rude:)
- From: Ben Frantzdale <frantzdb admin arhs net>
- To: Matthias Warkus <mawarkus t-online de>
- cc: gnome-list gnome org, recipient list not shown: ;
- Subject: Re: Talking to a wall? (tactless, yet rude:)
- Date: Wed, 4 Aug 1999 20:35:03 -0400 (EDT)
I agree. This is a good idea. One thing would be this: if the
menus/launchers were clickable at the edge, one would assume that they'd
look it. This would look strange. I'm not sure how this would be fixed.
the other thing is, I use the pinning effect on that edge (I think it's
actually 2 pxls) to get the panel right click menu (I use a corner panel
with no arrows and a 0pxl padding between things.
--Ben
On Tue, 3 Aug 1999, Matthias Warkus wrote:
> Recently I posted an idea regarding the panel: it would be nice if
> panel launchers hadn't got that 1-pixel border around that prevents
> them from being clicked if the mouse pointer is pinned against the
> edge of the screen.
>
> This makes the panel less usable.
>
> There were no replies to my original point. This is exactly the kind
> of small improvement the new Gnome UI project is aiming for, so could
> we maybe discuss this? All I got were replies talking about radically
> redoing everything, which were pretty useless of course.
>
> Could someone of the developers respond as to whether making usage of
> the pinning effect by extending the launcher buttons to the edge of
> the screen is desired?
>
> I suppose that for persons who know how to code this, it would be a
> matter of minutes to do a rapid hack on the panel to change the
> launchers. So, what about a little reaction? Am I that boring? All I'd
> like to hear from you is basically "We don't care" or "We care".
>
> mawa
> --
> I'm continually AMAZED at th'breathtaking effects of WIND EROSION!!
>
>
> --
> FAQ: Frequently-Asked Questions at http://www.gnome.org/gnomefaq
> To unsubscribe: mail gnome-list-request@gnome.org with
> "unsubscribe" as the Subject.
>
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]