Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Allow "/" when editing code #1177

Merged
merged 4 commits into from
Dec 4, 2024
Merged

Allow "/" when editing code #1177

merged 4 commits into from
Dec 4, 2024

Conversation

soyuka
Copy link
Contributor

@soyuka soyuka commented Dec 3, 2024

It was reported that you can't hit "/" when editing code, this fixes it. I was suprised that this part of the code doesn't use mousetrap as in js/common.js.

Copy link

github-actions bot commented Dec 4, 2024

🚀 Regression report for commit 621bcce is at https://web-php-regression-report-pr-1177.preview.thephp.foundation

Copy link

github-actions bot commented Dec 4, 2024

🚀 Preview for commit 621bcce can be found at https://web-php-pr-1177.preview.thephp.foundation

js/search.js Outdated
Comment on lines 297 to 300
if (event.target.contentEditable) {
return;
}

Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Changing it this way will make it impossible to use the / popup search input box

js/search.js Outdated Show resolved Hide resolved
@sy-records sy-records changed the title allow "/" when editing code Allow "/" when editing code Dec 4, 2024
@sy-records sy-records merged commit 543eab7 into php:master Dec 4, 2024
3 checks passed
@soyuka
Copy link
Contributor Author

soyuka commented Dec 5, 2024

Thanks @sy-records !

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants