quick doc: scale font size for HiDPI displays
[idea/community.git] / tools /
drwxr-xr-x   ..
drwxr-xr-x - launcher-generator
drwxr-xr-x - lexer