Abdelrazak Younes wrote:
Edwin Leuven wrote:
Abdelrazak Younes wrote:
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.
i had a look at the cursor code but, as with a lot of core stuff, found
it pretty unintelligible.
if someone knows how to do this, please do.
i'll add a FIXME in the meantime...
