Re: [patch] Fix bug #6120: Selection not set when switching to a different tab

[Pavel Sanda]

Abdelrazak Younes wrote:
>> i'm not sure view() is needed.
>>   
>
> It's not, a WorkArea has mandatorily a BufferView.

thanks, i'll commit improved version.
pavel