You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
I'm often using displays with different dpi, which means sometimes the text is too small, sometimes perfect, and sometimes too large. The gnome-terminal has a zoom-feature using Ctrl and +/-. Would it be possible to add this functionality also to this extension?
The text was updated successfully, but these errors were encountered:
Thanks, but I'd still like to have this implemented into this extension (personally I don't need any "fancy" features like tabs, and prefer to use more minimal extensions)
I'm often using displays with different dpi, which means sometimes the text is too small, sometimes perfect, and sometimes too large. The gnome-terminal has a zoom-feature using Ctrl and +/-. Would it be possible to add this functionality also to this extension?
The text was updated successfully, but these errors were encountered: