Re: [Beaver-devel] patch solving the small glitch...

[Riccardo Persichetti]

On Wed, 19 Mar 2003 14:41:26 +0100
Leslie Polzer <address@hidden> wrote:

> > -beaver has a detachable menu, while gedit hasn't, i don't know
> >  if it's useful to detach the menu, so if no one is using that
> >  feature we could remove it.
> I don't use this feature, but someone else might - it's not really
> in the way IMO. If we only had more feedback from users...
> 
yep, no problems for me too...

> > -gedit has a small (1 pixel) border around the text widget, maybe
> >  we could add it to beaver (i could have a look at it).
> I like it - do it if you wish.
> 
done, patch on another message...

> > there is also another thing (but it isn't visible): gedit adds a
> > scrollbar only if needed, while beaver displays it even if there
> > is no needed for it...
> Hm.. if you don't object I'd like to leave it there even if one
> doesn't have to scroll - it's more consistent I feel.
> 
no problems here too (maybe we should have a look at what HIG says
about scrollbars)...

cheers,

  riccardo

-- 
.----------------------.
| riccardo persichetti |
|----------------------|
|  address@hidden  |
`----------------------'