Skip to content

controller: avoid unnecessary iteration#889

Open
navytuner wants to merge 1 commit into
alefragnani:masterfrom
navytuner:controller/avoid-unnecessary-iter
Open

controller: avoid unnecessary iteration#889
navytuner wants to merge 1 commit into
alefragnani:masterfrom
navytuner:controller/avoid-unnecessary-iter

Conversation

@navytuner
Copy link
Copy Markdown

Insert break to avoid unnecessary loop iteration.

Copy link
Copy Markdown
Contributor

Copilot AI left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Pull request overview

This PR optimizes bookmark navigation in the core controller by stopping the scan for the active file as soon as it’s found, avoiding unnecessary iterations when determining the current file index.

Changes:

  • Add an early break when locating the active File in Controller.nextDocumentWithBookmarks.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants