Gregor Santner

Hello again, feel free to work on it and make a first draft version pull request 😄 . I close the issue - if something happens I happy open it...

Thanks for hints, seems like this can be closed 😄 . Also, please give the development version a shot, maybe it improved on it's own

Can you please share i.e. a short screenrecord? Might be that it's standard behaviour. Might be keyboard related. Might be too long line.... I couldn't reproduce it generally.

@shockergit Can you please check with v2.10.9 once you installed it?

Hello @shockergit , I just found an email with similar topic. Are you by chance Gav----mdco--? I can't reproduce the issue, please try with a build from developemtn. Can be...

@Secret-chest Please feel free to update the file and make a merge request here. It only sounds like to require swapping out the font file.

Sorry to say, but I don't want to merge/implement this. I know some people would like every tiny bit finetuned to their personal taste, but I want to add to-my-feeling...

Hello thank you for your help! As you asking about breaking, these things are especially important to work: Color picking at editor (insert color i.e.) and at the settings (picking...

> I have checked that the picker works correctly in basic color scheme settings, but that seems to be the only place where a color picker is used: I don't...

Want to merge this after the upcoming update, so it still goes by the old minsdk version and the big mass of changes reaches also users with old devices.