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.

Sign up for GitHub

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

Jump to bottom

Added Find and Find & Replace functions #48

Merged
merged 1 commit into from
Jun 18, 2019
Merged

Added Find and Find & Replace functions #48

merged 1 commit into from
Jun 18, 2019

Conversation

midyh
Copy link
Contributor

@midyh midyh commented Jun 17, 2019

  • Added "Find" and "Find & Replace" function provided by Codemirror
  • Fixed npm security issues in package-lock.json

@midyh midyh mentioned this pull request Jun 17, 2019
Closed
@marc2332
Copy link
Member

Have you tested it successfully?

Thanks for the interest 💯

@marc2332 marc2332 self-assigned this Jun 17, 2019
@marc2332 marc2332 added the enhancement New feature or request label Jun 17, 2019
@RoughTomato
Copy link
Contributor

I've just tested it on current master. Can confirm it works

@midyh
Copy link
Contributor Author

midyh commented Jun 17, 2019

Yup, I've tested it and it works successfully.

@marc2332 marc2332 merged commit e956ecc into Graviton-Code-Editor:master Jun 18, 2019
@marc2332
Copy link
Member

Thank you! 💯 Already merged!

marc2332 added a commit that referenced this pull request Jul 3, 2019
@marc2332
Merge pull request #48 from Socratides/master
bb1da8b 
Added Find and Find & Replace functions
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@RoughTomato RoughTomato RoughTomato approved these changes

Assignees

@marc2332 marc2332

Labels
enhancement New feature or request
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

None yet
3 participants
@midyh @marc2332 @RoughTomato