News for hackers. Stuff that matters.

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.

What would be the alternative? Do smaller franchises/no-name stores have a smaller carbon footprint?