FIXED: Document map cruft

[pjj]

This is small potatoes, but still you may want to look into it. Or not.

So, I don't usually use Document map, but when I do, I scroll its scrollbar with the speed of sound (not as quick as the speed of light, but still quite quick, 343 m/s in dry air at 20 °C). What I get is this cruft:

document-map-cruft-1.png (25.3 KiB) Viewed 4136 times

document-map-cruft-2.png (10.73 KiB) Viewed 4136 times

[Rickard Johansson]

I've tried to reproduce, but without luck. I even tried on Windows 7 using different themes...

Do you see the same thing if you do a new installation on one of your computers?

[pjj]

I've tried to reproduce, but without luck. I even tried on Windows 7 using different themes...

I'm sorry, I should have checked different themes. Interestingly, it works fine with all the themes but my own one, based on Windows theme. Which file should I send you? Texted.ini?

One more thing: with different themes Document map preview uses font with uniform size; while with my theme there are different sizes used (e.g. array keys are bigger):

document map preview.png (43.06 KiB) Viewed 4122 times

[emzet]

could also be a problem with the GPU (driver) - it doesn't have time to render

[Rickard Johansson]

Which file should I send you? Texted.ini?

That would help

could also be a problem with the GPU (driver) - it doesn't have time to render

Now, let's not blame his hardware. I actually have a picture of his computer - and to me it looks just fine...

[pjj]

Please don't spread misinformation, this is definitely not my computer This is my machine:



Isn't she something?

I'm sending in my INI file. Please, have a look at i, and also at this thread.

[Rickard Johansson]

She's amazing...

[Rickard Johansson]

Fixed in next release.

It was caused by font boldness settings, other than normal and bold

[pjj]

But... but... why other themes were OK?

[Rickard Johansson]

Because you haven't set boldness for syntax elements in those themes. The boldness settings are not global. They are individual settings for each theme.

[pjj]

Thank you