[PR #3886] [CLOSED] Fix terminal search #3970

New issue

Closed

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

kerem commented

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

Owner

📋 Pull Request Information

Original PR: https://github.com/electerm/electerm/pull/3886
Author: @zxdong262
Created: 4/7/2025
Status: ❌ Closed

Base: master ← Head: dev1

📝 Commits (4)

b3b9688 Support search highlight bar
15a936c Merge remote-tracking branch 'origin' into dev1
e72838d fixed terminal search
42f53eb Merge remote-tracking branch 'origin' into dev1

📄 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/3886 **Author:** [@zxdong262](https://github.com/zxdong262) **Created:** 4/7/2025 **Status:** ❌ Closed **Base:** `master` ← **Head:** `dev1` --- ### 📝 Commits (4) - [`b3b9688`](https://github.com/electerm/electerm/commit/b3b96887b4e41af19296adce654b43afabae565b) Support search highlight bar - [`15a936c`](https://github.com/electerm/electerm/commit/15a936c7c7dc895ab5d1090ed374947189a229a7) Merge remote-tracking branch 'origin' into dev1 - [`e72838d`](https://github.com/electerm/electerm/commit/e72838dff49ba64ee9151296503ef95447a6a3cc) fixed terminal search - [`42f53eb`](https://github.com/electerm/electerm/commit/42f53eb06a35dc86859f8c07f082a17c13a80fb7) Merge remote-tracking branch 'origin' into dev1 ### 📄 Description _No description provided_ --- <sub>🔄 This issue represents a GitHub Pull Request. It cannot be merged through Gitea due to API limitations.</sub>