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鈥檒l occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Search plugins #100

Merged
merged 3 commits into from Jul 11, 2015
Merged

Search plugins #100

merged 3 commits into from Jul 11, 2015

Commits on Jun 30, 2015

  1. Simple search box for plugins

    @doup
    doup committed Jun 30, 2015
    Configuration menu
    Copy the full SHA
    ce29b13 View commit details
    Browse the repository at this point in the history

  2. JS moved to external file + little clean up

    @doup
    doup committed Jun 30, 2015
    Configuration menu
    Copy the full SHA
    1df7412 View commit details
    Browse the repository at this point in the history

  3. Fix browser back bug. Now runs the filter as soon as the JS is loaded.

    @doup
    doup committed Jun 30, 2015
    Configuration menu
    Copy the full SHA
    d9aa867 View commit details
    Browse the repository at this point in the history