9 ms·
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
by Korimo 3y ago
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.
- switch007 3y ago> You're free to turn it off, it's just an option. For now