In build 2118, but also in recent previous ones, I noticed occasional glitches in the GUI. I didn't figure out how to reproduce them, but here's a screenshot:
Mostly, it's lines or borders that are drawn a bit off. The glitches remain even if I change the CWD. If I resize the window, they vanish and everything looks ok again. Sometimes it just concerns a few lines, sometimes the whole window.
Minor GUI glitches [FIXED]
Re: Minor GUI glitches
Hmm.. this looks like an aliasing issue - when drawing a line on a non-integer coordinate, like 42.5.
Will check this out.
Will check this out.
Re: Minor GUI glitches
Here's another example of the glitch:
Re: Minor GUI glitches
Have worked on this issue, it should be gone now, but can't be 100% sure since I wasn't able to fully reproduce it.
Re: Minor GUI glitches [FIXED]
For what it's worth, the glitch is still present in Build 2382. Can't reproduce it, but I have a feeling that it occurs sometimes after waking waking up the system from standby. Also, it occurs across the different themes. Resizing the main window makes it disappear.