Skip to content

Navigation Menu

Sign in
Appearance settings

Search code, repositories, users, issues, pull requests...

Provide feedback

We read every piece of feedback, and take your input very seriously.

Saved searches

Use saved searches to filter your results more quickly

Sign up
Appearance settings

Provide a simple global search #4077

Open
Labels
feature requestA request to make an enhancement (not a bug fix)
Milestone
@lmihalkovic

Description

Finding things in a project is not easy without forward knowledge of what to look for, and even then searching is still bound by the contents of a single source file. This feature would add simple global search (scope to be defined?! ideally would support ALL reachable source files, even if the result is initially only displayed in the search result popover when the file is not editable, but ideally, any of the source files should be at least VIEWABLE)

Proposed UI is the same as eclipse/intellij
arduino-2015年11月04日 at 11 17 07 am

Just testing what the user experience would be (popover arrow should be right aligned?!)
arduino-2015年11月04日 at 11 17 55 am

Alternatively could be done via a editor-centered popup.

Metadata

Metadata

Assignees

No one assigned

    Labels

    feature requestA request to make an enhancement (not a bug fix)

    Type

    No type

    Projects

    No projects

    Milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions

      AltStyle によって変換されたページ (->オリジナル) /