PreviousNextTracker indexSee it online !

(123/243) 3588 - Extra vertical line spacing bug

Hi,

when using the feature "Extra vertical line spacing" on Text Area option pane, there are two cosmetic issues I noticed:

1) When scrolling with Down Arrow with extra spacing in negative values, each time the cursor jumps on a new numbered line, it leaves a small mark where the upper part of the cursor was - I guess it would be the size of pixels set in the options.

2) Selecting text - the text selected is in the original place it would originally be while the the unselected text remains in the place determined by the line spacing options, thus the text line creates a "step up/down".

tvojeho

Submitted tvojeho - 2011-09-28 07:54:04 Assigned kpouer
Priority 5 Labels editor core
Status open Group minor bug
Resolution None

Comments

2012-06-12 08:51:58
alf456

I've created bug #3534530 that concerns CandyFold on a similar subject, with a screen shot.

Concerning the "1)" here, I've noted that the left caret artifacts are automatically erased when I select some text "above", but selecting text below the artifacts does not arease them (maybe selecting text forces a redraw from the selected text to the end ?)

Also, switching to another window (e.g. Firefox) clears the caret artifacts, i guess also because of some automatic text area redrawing when losing focus (or maybe I'm completely wrong there, still the artifacts disappear) - using WinXP, at least.

2014-09-26 18:41:18.606000
tvojeho

Great, Vampire corrected bug 2). Now only the caret artefacts from 1) remain in this ticket.

2014-12-01 15:52:36.853000
tvojeho

Hi, can someone close this bug ticket? It looks fixed since the november daily versions - I think by Vampire, and Patch #535 by Makarius.

tvojeho