diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2020-06-16 22:44:30 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-06-16 22:44:30 +0200 |
| commit | 02f7908d460bea7d580fe7526949be7f294e6783 (patch) | |
| tree | 8729da497f3e5137c9738bb071895ac9b9e5dd46 /doc | |
| parent | fa01e666d2d3dd9fe0ca8fbbea19ca2e2458cf29 (diff) | |
| parent | 2be3a33cc3e7de4309e6448d79cab2b87fb93e75 (diff) | |
Merge pull request #39598 from mrushyendra/replace_selection
Fix code editor Replace tool to work with 'Selection Only' option
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions