Edwin Leuven wrote:
Abdelrazak Younes wrote:
I have just fixed that. Very simple... I should look at the code
before commenting... The former state was probably due to temporary
debugging state from Andre :-)
i think that the positioning of the cursor is nicer with the attached
(moves it 2 pixels to the right...)
Yep. I hesitated to do that but I think you're right for an immediate
solution. In principle the BufferView (via Cursor) should provide the
correct positioning. It should not be up to the frontend to do this.
Abdel.
