passivestar
commented
17 hours ago Is there a way to change the magic numbers so they are not so magic?
10 is also hardcoded for all of the other overlays and I'm not sure if it needs to be themable (probably not?). as for the 14 I tried putting get_descent() in there but with no success, the results were just way off. Docs say it's just an approximation
A small UI fix, makes info messages follow the same margins as the rest of viewport overlays