[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: resize windows horizontally with the mouse
From: |
Yuri Khan |
Subject: |
Re: resize windows horizontally with the mouse |
Date: |
Thu, 30 Jan 2014 14:20:45 +0700 |
On Thu, Jan 30, 2014 at 2:09 PM, martin rudalics <address@hidden> wrote:
>> I’m not sure about that. There is a visible two- or three-pixel stripe
>> between the scroll bar and the fringe of the adjacent pane. If the
>> intention is to not allow resizing when scroll bars are displayed,
>> this gap should be eliminated. Alternatively, scrolling could be
>> allowed even in this case.
>
> Which toolkit?
GTK+3.
>>> BTW, has anyone met with sluggish redisplay of buffer text when resizing
>>> windows horizontally?
>>
>> No, but the fringes and scroll bars flicker a lot while dragging.
>
> Can you try to find out _when_ this started?
Can and will.
- resize windows horizontally with the mouse, Michael Heerdegen, 2014/01/29
- Re: resize windows horizontally with the mouse, Yuri Khan, 2014/01/29
- Re: resize windows horizontally with the mouse, Michael Heerdegen, 2014/01/29
- Re: resize windows horizontally with the mouse, Darren Hoo, 2014/01/30
- Re: resize windows horizontally with the mouse, Yuri Khan, 2014/01/30
- Re: resize windows horizontally with the mouse, martin rudalics, 2014/01/30
- Re: resize windows horizontally with the mouse,
Yuri Khan <=
- Re: resize windows horizontally with the mouse, martin rudalics, 2014/01/30
- Re: resize windows horizontally with the mouse, Jan D., 2014/01/30
- Re: resize windows horizontally with the mouse, martin rudalics, 2014/01/30
- Re: resize windows horizontally with the mouse, Jan Djärv, 2014/01/30
- Re: resize windows horizontally with the mouse, martin rudalics, 2014/01/30
- Re: resize windows horizontally with the mouse, Jan D., 2014/01/30
- Re: resize windows horizontally with the mouse, martin rudalics, 2014/01/30
- Re: resize windows horizontally with the mouse, Jan D., 2014/01/31
- Re: resize windows horizontally with the mouse, martin rudalics, 2014/01/31
Re: resize windows horizontally with the mouse, martin rudalics, 2014/01/30