There was no in-app way to change the SSH terminal's font size; the terminal used a fixed system default.
Fixed in commit 27cc3a3: added Increase/Decrease/Reset Font Size and a "Set Font Size..." (exact point size) action to the session tab's right-click menu. The chosen size persists across sessions.
There was no in-app way to change the SSH terminal's font size; the terminal used a fixed system default.
Fixed in commit 27cc3a3: added Increase/Decrease/Reset Font Size and a "Set Font Size..." (exact point size) action to the session tab's right-click menu. The chosen size persists across sessions.
Blocking a user prevents them from interacting with repositories, such as opening or commenting on pull requests or issues. Learn more about blocking a user.
There was no in-app way to change the SSH terminal's font size; the terminal used a fixed system default.
Fixed in commit
27cc3a3: added Increase/Decrease/Reset Font Size and a "Set Font Size..." (exact point size) action to the session tab's right-click menu. The chosen size persists across sessions.