Re: adding dead space to floating panels

From: Michael Toomim <toomim uclink4 berkeley edu>
To: desktop-devel-list gnome org
Cc: gnome-list gnome org
Subject: Re: adding dead space to floating panels
Date: Thu, 16 Jan 2003 18:38:50 -0800

Mark McLoughlin wrote:

	So, I think I've come to the conclusion that floating panels without
buttons should have a grab handle on each end. I've tried it out and it
doesn't look too bad at all. Thoughts anybody ?

But if floating panels get grab handles, then why shouldn't ALL panelsget grab handles for consistency?

Follow-Ups:
- Re: adding dead space to floating panels
  - From: Mark McLoughlin

References:
- adding dead space to floating panels
  - From: Alex Deucher
- Re: adding dead space to floating panels
  - From: Mark McLoughlin

[Date Prev][Date Next] [Thread Prev][Thread Next] [Thread Index] [Date Index] [Author Index]