Skip to content
This repository has been archived by the owner on Jan 11, 2023. It is now read-only.

Phase one of moving the function search into the editor search bar #2121

Merged
merged 1 commit into from Feb 24, 2017
Merged

Phase one of moving the function search into the editor search bar #2121

merged 1 commit into from Feb 24, 2017

Commits on Feb 24, 2017

  1. Phase one of moving the function search into the editor search bar. A… 

    …dding the UI for toggling function search.
    @wldcordeiro
    wldcordeiro committed Feb 24, 2017
    Configuration menu
    Copy the full SHA
    e27d5d6 View commit details
    Browse the repository at this point in the history