Skip to content

Provide a simple global search #4077

Open
@lmihalkovic

Description

@lmihalkovic

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