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

Improve the editor's Find in Files function #22866

Merged
merged 1 commit into from
Oct 9, 2018
Merged

Improve the editor's Find in Files function #22866

merged 1 commit into from
Oct 9, 2018

Conversation

Calinou
Copy link
Member

@Calinou Calinou commented Oct 8, 2018 •
edited
Loading

  • Disable Whole Words and Match Case by default
    • These tend to get in the way when you're doing a quick search. Most editors seem to reuse the previous setting when opening the dialog, so I could try implementing that instead.
  • Hide the Cancel button once the search is completed
  • Pad line numbers to the right for more readable search results

find_in_files

@Calinou
Improve the editor's Find in Files function
f7848f2 
- Disable Whole Words and Match Case by default
- Hide the Cancel button once the search is completed
- Pad line numbers to the right for more readable search results
@akien-mga akien-mga added this to the 3.1 milestone Oct 9, 2018
@akien-mga akien-mga merged commit 4c1a5d9 into godotengine:master Oct 9, 2018
@akien-mga
Copy link
Member

Thanks!

@Calinou Calinou deleted the improve-find-in-files branch January 27, 2020 18:22
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
enhancement topic:editor usability
Projects
None yet
Milestone
3.1
Development

Successfully merging this pull request may close these issues.
2 participants
@Calinou @akien-mga