search

eclipse-theia / theia

Eclipse Theia is a cloud & desktop IDE framework implemented in TypeScript.
http://theia-ide.org
Eclipse Public License 2.0
20.05k stars 2.5k forks source link

[search in workspace] For replace use more generalised solution #1788

Closed jbicker closed 1 year ago

jbicker commented 6 years ago

Depends on https://github.com/theia-ide/theia/issues/1756 After it is solved we should use that instead of https://github.com/theia-ide/theia/blob/SearchAndReplaceInWorkspace/packages/editor/src/browser/editor.ts#L89

FernandoAscencio commented 1 year ago

Is this still an issue? The link to code now gives a 404 error message and Issue 1756 seems to be closed.