19fd0fcfd7
This is conceptually the same as the ratio of the current DPI to the standard one, but can be implemented more directly for wxGTK3 and wxOSX (although the latter doesn't implement it yet). |
||
---|---|---|
.. | ||
wx | ||
check_syntax.sh |