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
412
forks
source link
Add ability to search inside selection in editor [was: Search & Replace improvements] #2979
Search & Replace is seriously underpowered.
It has to work across files (at least, opened ones), inside selection, accept regular exceptions, escape sequences, whole words/parts only, etc.)..
Search in the workspace: available now, although the UI is admittedly pretty arcane, and it's also slow, and always searches across all the loaded projects. Improving on this is a high priority.
Search inside selection: not yet available; we depend on the Ace editor component for this.
Regular expressions, whole words, and case-sensitive search: we used to disable this out of a cleaner UI considerations, but that was admittedly an ill-advised decision, so we've reenabled this functionality for the upcoming 0.17 release.
Search & Replace is seriously underpowered. It has to work across files (at least, opened ones), inside selection, accept regular exceptions, escape sequences, whole words/parts only, etc.)..