Skip to content
This repository was archived by the owner on May 12, 2026. It is now read-only.

Add search-box#686

Merged
asmsuechan merged 2 commits into
BoostIO:masterfrom
asmsuechan:add-search-box
Jul 9, 2017
Merged

Add search-box#686
asmsuechan merged 2 commits into
BoostIO:masterfrom
asmsuechan:add-search-box

Conversation

@asmsuechan

Copy link
Copy Markdown
Contributor

Because of its high demand, I finally implemented it.
screen shot 2017-07-07 at 17 14 38

@huettenhain

Copy link
Copy Markdown

Absolutely fantastic. Curiosity only: can this do search/replace as well?

@asmsuechan

Copy link
Copy Markdown
Contributor Author
@huettenhain

Copy link
Copy Markdown

Awesome.

@kazup01 kazup01 mentioned this pull request Jul 9, 2017
@asmsuechan asmsuechan merged commit c0f0569 into BoostIO:master Jul 9, 2017
@asmsuechan asmsuechan deleted the add-search-box branch July 9, 2017 08:16
@asmsuechan

Copy link
Copy Markdown
Contributor Author

ref: Replace cm searchbox to official search addon: #696

@yashha

yashha commented Jul 22, 2017

Copy link
Copy Markdown

@asmsuechan Maybe add some padding to Replace and All

@asmsuechan

Copy link
Copy Markdown
Contributor Author

Hi, @yashha. The box is no longer used. ref: #696

@kohei-takata kohei-takata mentioned this pull request Jul 29, 2017
@kazup01 kazup01 mentioned this pull request Jul 29, 2017
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

4 participants