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

PR: Find in Files style and UI improvements #4537

Merged
merged 4 commits into from
Jun 3, 2017
Merged

PR: Find in Files style and UI improvements #4537

merged 4 commits into from
Jun 3, 2017

Conversation

andfoy
Copy link
Member

@andfoy andfoy commented Jun 1, 2017

Fixes #4490

@andfoy andfoy self-assigned this Jun 1, 2017
@andfoy andfoy added this to the v3.2 milestone Jun 1, 2017
@andfoy andfoy changed the title PR: Added bold text to file results PR: General Find in Files style and UI improvements Jun 1, 2017
@ccordoba12 ccordoba12 changed the title PR: General Find in Files style and UI improvements PR: Find in Files style and UI improvements Jun 1, 2017
@ccordoba12 ccordoba12 changed the base branch from master to 3.x June 3, 2017 18:10
@ccordoba12 ccordoba12 merged commit 7e49d73 into spyder-ide:3.x Jun 3, 2017
ccordoba12 added a commit that referenced this pull request Jun 3, 2017
@ccordoba12
Merge from 3.x: PR #4537
2a04203 
Fixes #4490
@andfoy andfoy deleted the findinfiles_improvements branch June 14, 2019 19:10
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees

@andfoy andfoy

Labels
component:Find in files
Projects
None yet
Milestone
v3.2
Development

Successfully merging this pull request may close these issues.
2 participants
@andfoy @ccordoba12