created: 20210828215345710
dependents: 
description: Search and replace for CodeMirror
list: readme
modified: 20210828215345710
name: CodeMirror Search and Replace
parent-plugin: $:/plugins/tiddlywiki/codemirror
plugin-type: plugin
title: $:/plugins/tiddlywiki/codemirror-search-replace
type: application/json
version: 5.1.23