search

googlearchive / chromedeveditor

Chrome Dev Editor is a developer tool for building apps on the Chrome platform - Chrome Apps and Web Apps, in JavaScript or Dart. (NO LONGER IN ACTIVE DEVELOPMENT)
BSD 3-Clause "New" or "Revised" License
2.92k stars 411 forks source link

Find and replace #3905

Open indianakernick opened 9 years ago

indianakernick commented 9 years ago

I just wanted to make a feature suggestion.

Built-in "find and replace" tool

Thanks : )

gio1135 commented 9 years ago

Ctrl + H On Mar 29, 2015 11:43 PM, "Kerndog73" notifications@github.com wrote:

I just wanted to make a feature suggestion.

Built-in "find and replace" tool

Thanks : )

— Reply to this email directly or view it on GitHub https://github.com/dart-lang/chromedeveditor/issues/3905.