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 |
2012-06-12 08:51:58 alf456 |
I've created bug #3534530 that concerns CandyFold on a similar subject, with a screen
shot.
|
---|---|
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.
|