Korimo
Re:JetBrains IDE new Terminal Interface
on Thursday February 22, 2024 @08:08AM (#39466499)
You're free to turn it off, it's just an option.
I, for one, quite appreciate the redesign. Blocking ^r is too bad though, I tried the new terminal out a month or so ago, the redesign was nice and did feel optimized.
I ultimately switched back due to some issues with the autocompletion. I hope they've fixed these issues, things like makefiles would not autocomplete in this new terminal, while working fine in the 'old' terminal.
Re:Last Resort Font
on Friday October 09, 2020 @03:13AM (#24727603)
Couldn't it be installed on OS level, or at least in the webbrowser?
How are noto fonts distributed? I hope no website on this planet sends you a 12 MiB font file for some fallback purposes.
Re:The human body is already close to thermal limits in many regions
on Monday July 29, 2019 @08:40AM (#20553932)
What would be the alternative? Do smaller franchises/no-name stores have a smaller carbon footprint?