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

Goodbye Ctrl-G#720

Merged
asmsuechan merged 1 commit into
BoostIO:masterfrom
asmsuechan:goodby-ctrl-g
Jul 22, 2017
Merged

Goodbye Ctrl-G#720
asmsuechan merged 1 commit into
BoostIO:masterfrom
asmsuechan:goodby-ctrl-g

Conversation

@asmsuechan

Copy link
Copy Markdown
Contributor

Remove Ctrl-G because it's unnecessary and conflicts with one of CodeMirror's search functions.

@asmsuechan asmsuechan merged commit ed7d825 into BoostIO:master Jul 22, 2017
@asmsuechan asmsuechan deleted the goodby-ctrl-g branch July 22, 2017 07:44
@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

3 participants