fasterthanlime , Englisch
@fasterthanlime@hachyderm.io avatar

TIL about wezterm's "adjust_window_size_when_changing_font_size" option you can set to false and get the behavior I've wanted all terminals to have forever:

I'm doing Cmd+Plus and Minus, and the window size doesn't change: only the text size

nrab ,
@nrab@hachyderm.io avatar

@fasterthanlime I’ve never seen a terminal change window size when changing font size except for cmd.exe and thank god for that

fasterthanlime OP ,
@fasterthanlime@hachyderm.io avatar

@nrab have you been in the KDE ecosystem? most mac terminals do that, GNOME/XFCE terminals do that iirc

calisti ,
@calisti@chaos.social avatar

@fasterthanlime @nrab I’ve never seen that, and using Konsole, the KDE terminal since kinda forever. I’m really surprised this feature even exists!

calisti ,
@calisti@chaos.social avatar

@fasterthanlime @nrab KDE‘s Konsole indeed does not. I’ve never before heard of this feature.

tjf ,
@tjf@social.ndlug.org avatar

@fasterthanlime @nrab AFAICT Konsole behaves the same as wezterm here

18+ d2718 ,
@d2718@hachyderm.io avatar

@tjf @fasterthanlime @nrab

As someone who uses a tiling WM, I never realized any terminals behaved differently.

fasterthanlime OP ,
@fasterthanlime@hachyderm.io avatar

@d2718 @tjf @nrab best and very important cw

llimllib ,
@llimllib@hachyderm.io avatar

@fasterthanlime Kitty does that as well, I don't think I had to set any configuration options for it to do so. (Agreed it's the sensible behavior)

iTerm2 has the "general -> window -> adjust window when changing font size" check box, checked by default but if you uncheck it you get the sane behavior.

Cyborus ,

@fasterthanlime what.. else would it possibly do?

fasterthanlime OP ,
@fasterthanlime@hachyderm.io avatar

@Cyborus resize the window so the number of cols/rows remains the same

syphdias ,
@syphdias@social.linux.pizza avatar

@fasterthanlime @Cyborus is that a Mac thing? Never had this is any terminal emulator.

  • Alle
  • Abonniert
  • Moderiert
  • Favoriten
  • random
  • haupteingang
  • Alle Magazine