Re: adding dead space to floating panels

From: Michael Toomim <toomim uclink4 berkeley edu>
To: gnome-list gnome org
Cc: desktop-devel-list gnome org
Subject: Re: adding dead space to floating panels
Date: Fri Jan 17 17:26:02 2003

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]