Skip to content

Commit 433fb41

Browse files
authored
Merge branch 'develop' into translation-fix-lm
2 parents c91ccb5 + 1b7766e commit 433fb41

File tree

2 files changed

+12
-0
lines changed

2 files changed

+12
-0
lines changed

client/utils/codemirror-search.js

+6
Original file line numberDiff line numberDiff line change
@@ -515,6 +515,12 @@ function doSearch(cm, rev, persistent, immediate, ignoreQuery) {
515515
startSearch(cm, state, q);
516516
findNext(cm, rev);
517517
}
518+
cm.on('change', function () {
519+
var state = getSearchState(cm);
520+
if (state.query) {
521+
startSearch(cm, state, state.queryText);
522+
}
523+
});
518524
} else {
519525
dialog(cm, queryDialog, 'Search for:', q, function (query) {
520526
if (query && !state.query)

contributor_docs/installation.md

+6
Original file line numberDiff line numberDiff line change
@@ -2,6 +2,12 @@
22

33
Follow these instructions to set up your development environment, which you need to do before you start contributing code to this project.
44

5+
There are two ways to install the project locally:
6+
7+
Manual Installation is great if you're comfortable managing dependencies like Node.js and MongoDB directly on your machine. It's more hands-on and gives you finer control, which can be helpful for debugging or learning how each part works.
8+
9+
Docker Installation is ideal if you want a faster setup with all dependencies (Node, MongoDB, etc.) isolated in containers. This avoids version conflicts and works consistently across environments especially helpful if you're new to backend setup or don't want to alter your local setup.
10+
511
## Manual Installation
612

713
_Note_: The installation steps assume you are using a Unix-like shell. If you are using Windows, you will need to use `copy` instead of `cp`.

0 commit comments

Comments
 (0)