Grab Top Border

[mmassonnet at gmail.com]

On Fri, Nov 09, 2007 at 04:02:09PM +0100, Alexander Toresson wrote:
> On Nov 8, 2007 7:41 AM, Brian J. Tarricone <bjt23 at cornell.edu> wrote:
> > On Wed, 07 Nov 2007 22:29:04 -0800 Jason C. Wells wrote:
> >
> > > I am unable to grab the top border for windows resizing.  Is that
> > > normal?
> >
> > Yes.
> >
> > > Is it an option somewhere?
> >
> > No.
> >
> 
> It's possible in svn, afaik.

ACK, with some themes there "can" be a little padding for the top
resizing icon.

> Regards, Alexander Toresson

Mike