News for hackers. Stuff that matters.

A comment on Pragtical: Practical and pragmatic code editor. Parent comment

Re:Pragtical: Practical and pragmatic code editor by rd07 on Tuesday August 20, 2024 @05:11AM (#41298243)
You can change the scale setting through Settings > Plugins > Scale and see the best setting for your monitor
[ Parent | on HN ]
Re:Pragtical: Practical and pragmatic code editor by swah on Tuesday August 20, 2024 @05:47AM (#41298448)
Didn't make a difference here (restarted too, ofc)
[ Parent | on HN ]