[PR #777] [MERGED] fix #717 fix #695 fix #775 add fontSize/fontFamily setting #3228

New issue

Closed

opened 2026-02-27 00:56:01 +03:00 by kerem · 0 comments

kerem commented

2026-02-27 00:56:01 +03:00

Owner

📋 Pull Request Information

Original PR: https://github.com/electerm/electerm/pull/777
Author: @zxdong262
Created: 10/2/2018
Status: ✅ Merged
Merged: 10/2/2018
Merged by: @zxdong262

Base: master ← Head: fix-717

📝 Commits (1)

c5cce37 fix #717 fix #695 fix #775 add fontSize/fontFamily setting

📊 Changes

4 files changed (+50 additions, -5 deletions)

View changed files

📝 package.json (+1 -1)
📝 src/client/common/constants.js (+2 -0)
📝 src/client/components/bookmark-form/index.jsx (+41 -0)
📝 src/client/components/terminal/terminal.jsx (+6 -4)

📄 Description

No description provided

_{🔄 This issue represents a GitHub Pull Request. It cannot be merged through Gitea due to API limitations.}

## 📋 Pull Request Information **Original PR:** https://github.com/electerm/electerm/pull/777 **Author:** [@zxdong262](https://github.com/zxdong262) **Created:** 10/2/2018 **Status:** ✅ Merged **Merged:** 10/2/2018 **Merged by:** [@zxdong262](https://github.com/zxdong262) **Base:** `master` ← **Head:** `fix-717` --- ### 📝 Commits (1) - [`c5cce37`](https://github.com/electerm/electerm/commit/c5cce378a666f00caeb0437fda13c86233013add) fix #717 fix #695 fix #775 add fontSize/fontFamily setting ### 📊 Changes **4 files changed** (+50 additions, -5 deletions) <details> <summary>View changed files</summary> 📝 `package.json` (+1 -1) 📝 `src/client/common/constants.js` (+2 -0) 📝 `src/client/components/bookmark-form/index.jsx` (+41 -0) 📝 `src/client/components/terminal/terminal.jsx` (+6 -4) </details> ### 📄 Description _No description provided_ --- <sub>🔄 This issue represents a GitHub Pull Request. It cannot be merged through Gitea due to API limitations.</sub>