Atlauncher

 

Linux Mint Cinnamon - HighDPI fix

# from /usr/share/applications/atlauncher.desktop
Exec=env GDK_DPI_SCALE=0.5 GDK_SCALE=2 atlauncher