[PR #830] [MERGED] fix #828 [UI] better terminal spliter icons #3249

New issue

Closed

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

kerem commented

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

Owner

📋 Pull Request Information

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

Base: master ← Head: fix-828

📝 Commits (1)

48e758c fix #828 [UI] better terminal spliter icons

📊 Changes

3 files changed (+18 additions, -20 deletions)

View changed files

📝 package.json (+1 -1)
📝 src/client/components/terminal/index.jsx (+14 -16)
📝 src/client/components/terminal/terminal.styl (+3 -3)

📄 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/830 **Author:** [@zxdong262](https://github.com/zxdong262) **Created:** 10/25/2018 **Status:** ✅ Merged **Merged:** 10/25/2018 **Merged by:** [@zxdong262](https://github.com/zxdong262) **Base:** `master` ← **Head:** `fix-828` --- ### 📝 Commits (1) - [`48e758c`](https://github.com/electerm/electerm/commit/48e758c1893b6ae95f325e507e63dd600bd6d649) fix #828 [UI] better terminal spliter icons ### 📊 Changes **3 files changed** (+18 additions, -20 deletions) <details> <summary>View changed files</summary> 📝 `package.json` (+1 -1) 📝 `src/client/components/terminal/index.jsx` (+14 -16) 📝 `src/client/components/terminal/terminal.styl` (+3 -3) </details> ### 📄 Description _No description provided_ --- <sub>🔄 This issue represents a GitHub Pull Request. It cannot be merged through Gitea due to API limitations.</sub>