Vasili Novikov

Results 122 comments of Vasili Novikov

Feel free to reply if you'd want to test the other low-contrast alternative. Closing for now as the current issue doesn't seem like a bug specifically -- rather a question.

Apparently more than one person wants to have it, so I'll re-open and ask for contributors. If anybody wants to solve this issue, please edit the script `shift_whiteish.glsl` to have...

@anarcat I must say I do not really know Wayland-s situation on this. Maybe wayland itself can have something like this implemented in its API? I've linked this issue in...

Indeed this issue clearly needs more details. So here's the actual problem. This is how git gui currently looks like if you double the default font size: ![2020 06 01_15:26:06](https://user-images.githubusercontent.com/1547617/83413973-fe420300-a41c-11ea-997b-5cbc1eb59a80.png)...

To test this situation, double the Main Font and Console Font (e.g. set to 18). Then look at the commit message, and move further away from monitor until the commit...

@prati0100 note that you can test it as I explain in my comment: https://github.com/prati0100/git-gui/issues/29#issuecomment-636868376 * double the font size(s) * move away from monitor till the "big" text starts to...

@last-partizan Note that DPI is *not* scaling: it will only scale text-s, and it will break other apps. E.g. if you have an app with both pictures and text, text...

Or simply inlining the example right here: ```cs string access_level = "user"; if (access_level != "user"⁦) //Check if admin { Console.WriteLine("You are an admin."); } ``` (Taken from here https://dev.to/dotnetsafer/rip-copy-and-paste-from-stackoverflow-trojan-source-solution-4p8f...

@PhilipOakley do you/we know how exactly it is addressed? E.g. if one has warnings when they try to create new commits with unicode control characters? Or that `git fetch` would...

Why is this not merged? o_O Let's merge this! (Or write in README that we're in need for contributors (that would also get merge permissions))