Skip to content

Improve line selection when filtering#49

Merged
pgrabarsky merged 1 commit into
AmadeusITGroup:masterfrom
pgrabarsky:sel_first_line
Feb 18, 2026
Merged

Improve line selection when filtering#49
pgrabarsky merged 1 commit into
AmadeusITGroup:masterfrom
pgrabarsky:sel_first_line

Conversation

@pgrabarsky
Copy link
Copy Markdown
Member

No description provided.

@pgrabarsky pgrabarsky merged commit abd0197 into AmadeusITGroup:master Feb 18, 2026
8 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant