| author | |
| committer | |
| log | af20dfae60bb5c1c1ae0db25339e1f4ad5f8a2e7 |
| tree | 17b7c59d74d4311ff3c9add7915415faf166aad2 |
| parent | e5379e5027d33f5954fc7daa00b835a374f57272 |
1 files changed, 1 insertions(+), 0 deletions(-)
lib/docs/main.js+1| ... | ... | @@ -3189,6 +3189,7 @@ var zigAnalysis; |
| 3189 | 3189 | ev.stopPropagation(); |
| 3190 | 3190 | return; |
| 3191 | 3191 | case "Down": |
| 3192 | // TODO: make the page scroll down if the search cursor is out of the screen | |
| 3192 | 3193 | moveSearchCursor(1); |
| 3193 | 3194 | ev.preventDefault(); |
| 3194 | 3195 | ev.stopPropagation(); |