Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Searching for the definition should not alter the user's search options #3871

Open
edreamleo opened this issue Apr 19, 2024 · 0 comments
Open

Searching for the definition should not alter the user's search options #3871

edreamleo opened this issue Apr 19, 2024 · 0 comments
Assignees
@edreamleo
Labels
Enhancement leoInteg leoJS Issues & PRs that affect leoJS
Milestone
6.8.0

Comments

@edreamleo
Copy link
Member

edreamleo commented Apr 19, 2024 •
edited

See PR #3872. This is an irritating hangnail.
@edreamleo edreamleo added this to the 6.7.9 milestone Apr 19, 2024
@edreamleo edreamleo self-assigned this Apr 19, 2024
edreamleo added a commit that referenced this issue Apr 19, 2024
@edreamleo
Fix #3871
c0db0d0
@edreamleo edreamleo mentioned this issue Apr 19, 2024
Open
7 tasks
@edreamleo edreamleo modified the milestones: 6.8.0, 6.8.1 May 23, 2024
@edreamleo edreamleo mentioned this issue May 25, 2024
Closed
@edreamleo edreamleo modified the milestones: 6.8.1, 6.8.0 May 25, 2024
@edreamleo edreamleo changed the title Searching for the definition of a Python func/class should not change the 'ignore-case' search option Searching for the definition of a Python func/class should not *any* search options May 25, 2024
@edreamleo edreamleo changed the title Searching for the definition of a Python func/class should not *any* search options Searching for the definition should not alter the user's search options May 26, 2024
@edreamleo edreamleo added leoInteg leoJS Issues & PRs that affect leoJS Enhancement and removed Bug labels May 26, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@edreamleo edreamleo

Labels
Enhancement leoInteg leoJS Issues & PRs that affect leoJS
Projects
None yet
Milestone
6.8.0
Development

No branches or pull requests
1 participant
@edreamleo