Peter Kümmel wrote:
Peter Kümmel wrote:
Abdelrazak Younes wrote:
Peter,
I think you did that change. Please revert it or fix it the proper way.
I'll revert, didn't know the proper way.
The proper way would be to hide it when there is no need to show it. We
can not rely on Qt automatic mode for this because we maintain our own
WorkArea.
But the scrolling bar is sooo ugly....
I agree but that the small time lapse when the WorkArea is resized when
you switch buffers is even uglier.
I you want, you can disable it when there is no Buffer (in grayOut())...
Abdel.
