simple script to toggle between high and lower dpi in linux using xrendr. Perfect to use in a panel launcher or similar
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool
