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.

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

Mark occurrences #503

Closed
pq opened this issue Nov 17, 2011 · 5 comments
Closed

Mark occurrences #503

pq opened this issue Nov 17, 2011 · 5 comments
Assignees
Labels
type-enhancement A request for a change that isn't a bug
Milestone

Comments

@pq
Copy link
Member

pq commented Nov 17, 2011

(from user-submitted feedback).

@danrubel
Copy link

danrubel commented Jun 1, 2012

Changed the title to: "Mark occurrences".

@danrubel
Copy link

danrubel commented Jun 1, 2012

Issue #2632 has been merged into this issue.

@stevemessick
Copy link
Contributor

Set owner to @stevemessick.
Added this to the M1 milestone.

@alan-knight
Copy link
Contributor

I'm seeing this in the latest editor build and finding it a bit confusing. Especially to begin with, where I saw something that looked like selected text that couldn't be un-selected. I think partly it was because it persisted well after I had typed the thing it was matching, so I didn't realize it was related to that, it just seemed to be selected for no obvious reason. Once I noticed it happening as I was typing it became clearer. But maybe it should go away sooner - not sure how to define that, though.

@stevemessick
Copy link
Contributor

Added Fixed label.

This issue was closed.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
type-enhancement A request for a change that isn't a bug
Projects
None yet
Development

No branches or pull requests

5 participants