starred/electerm

Fork 0

mirror of https://github.com/electerm/electerm.git synced 2026-04-25 21:45:56 +03:00

[GH-ISSUE #775] How to change font #448

New issue

Closed

opened 2026-02-26 23:59:34 +03:00 by kerem · 9 comments

kerem commented

2026-02-26 23:59:34 +03:00

Owner

Originally created by @corelon on GitHub (Oct 2, 2018).
Original GitHub issue: https://github.com/electerm/electerm/issues/775

Hello,

I saw from the closed issues that the code for changing fonts has been integrated, but there still is no UI way of doing so.
As I am very eager to change the terminal font, is there any way to do that using Dev Tools?

Thanks in advance.

Originally created by @corelon on GitHub (Oct 2, 2018). Original GitHub issue: https://github.com/electerm/electerm/issues/775 Hello, I saw from the closed issues that the code for changing fonts has been integrated, but there still is no UI way of doing so. As I am very eager to change the terminal font, is there any way to do that using Dev Tools? Thanks in advance.

kerem closed this issue

2026-02-26 23:59:34 +03:00

kerem commented

2026-02-26 23:59:35 +03:00

Author

Owner

@zxdong262 commented on GitHub (Oct 2, 2018):

Font family change: https://github.com/electerm/electerm/issues/695
Font size change: https://github.com/electerm/electerm/issues/717
All not done yet.
which one you want to change? I may add the feature first.

@zxdong262 commented on GitHub (Oct 2, 2018): Font family change: https://github.com/electerm/electerm/issues/695 Font size change: https://github.com/electerm/electerm/issues/717 All not done yet. which one you want to change? I may add the feature first.

kerem commented

2026-02-26 23:59:35 +03:00

Author

Owner

@corelon commented on GitHub (Oct 2, 2018):

Hi.
I am looking to change both, but my main concern is font family.
Is there any way to do that via the embedded Dev Tools as of now?

@corelon commented on GitHub (Oct 2, 2018): Hi. I am looking to change both, but my main concern is font family. Is there any way to do that via the embedded Dev Tools as of now?

kerem commented

2026-02-26 23:59:35 +03:00

Author

Owner

@zxdong262 commented on GitHub (Oct 2, 2018):

@corelon building, may release in 17 min.

@zxdong262 commented on GitHub (Oct 2, 2018): @corelon building, may release in 17 min.

kerem commented

2026-02-26 23:59:35 +03:00

Author

Owner

@zxdong262 commented on GitHub (Oct 2, 2018):

maybe a little longer... @corelon

@zxdong262 commented on GitHub (Oct 2, 2018): maybe a little longer... @corelon

kerem commented

2026-02-26 23:59:35 +03:00

Author

Owner

@zxdong262 commented on GitHub (Oct 2, 2018):

Released @corelon

@zxdong262 commented on GitHub (Oct 2, 2018): Released @corelon

kerem commented

2026-02-26 23:59:35 +03:00

Author

Owner

@corelon commented on GitHub (Oct 4, 2018):

Thanks!
Just downloaded. The only issue I see is that I cannot find a way to change the font on the Powershell terminal. Only on the SSH sessions.
Am I missing something?

@corelon commented on GitHub (Oct 4, 2018): Thanks! Just downloaded. The only issue I see is that I cannot find a way to change the font on the Powershell terminal. Only on the SSH sessions. Am I missing something?

kerem commented

2026-02-26 23:59:35 +03:00

Author

Owner

@zxdong262 commented on GitHub (Oct 7, 2018):

@corelon Right, I forget about it, thanks for the feedback.

@zxdong262 commented on GitHub (Oct 7, 2018): @corelon Right, I forget about it, thanks for the feedback.

kerem commented

2026-02-26 23:59:35 +03:00

Author

Owner

@zxdong262 commented on GitHub (Oct 7, 2018):

@corelon released a new version with global default font settings which will control all local terminal font setting.

@zxdong262 commented on GitHub (Oct 7, 2018): @corelon released a new version with global default font settings which will control all local terminal font setting.

kerem commented

2026-02-26 23:59:35 +03:00

Author

Owner

@corelon commented on GitHub (Oct 11, 2018):

Excellent! Thanks a million

@corelon commented on GitHub (Oct 11, 2018): Excellent! Thanks a million

kerem referenced this issue

2026-02-27 00:55:33 +03:00

[PR #451] [MERGED] fix #448 test mac/linux in different sftp account #3092