ch)) {
                    found = true;
                    break;
                }
            }
            
            // If not found after current position, start from beginning
            if (!found) {
                cursor.from = {line: 0, ch: 0};
                cursor.findNext();
            }
            
            if (cursor.from()) {
                editor.setSelection(cursor.from(), cursor.to());
                editor.scrollIntoView(cursor.from(), 20);
            }
        }

        f