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’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

UI enhancements to plugin manager #2218

Merged
merged 12 commits into from Mar 14, 2017
Merged

UI enhancements to plugin manager #2218

merged 12 commits into from Mar 14, 2017

Commits on Feb 1, 2017

  1. UI enhancements to plugin manager 

     * Add filter combo for plugin type (songsmenu, event, editing etc)
 * Use larger icons in keeping with other UI trends
 * Better padding, and increase window size to allow for extra width
 * Some minor tidying.

 This fixes #1460.
    @declension
    declension committed Feb 1, 2017
    Copy the full SHA
    5664b9f View commit details
    Browse the repository at this point in the history

Commits on Feb 2, 2017

  1. Plugin UI: reduce icon size & padding

    @declension
    declension committed Feb 2, 2017
    Copy the full SHA
    72254a8 View commit details
    Browse the repository at this point in the history

  2. Plugin UI: use large iconsize instead of PixBufs 

     ...as per PR review
    @declension
    declension committed Feb 2, 2017
    Copy the full SHA
    5831451 View commit details
    Browse the repository at this point in the history

  3. Plugin UI: remove unused import

    @declension
    declension committed Feb 2, 2017
    Copy the full SHA
    99bfe38 View commit details
    Browse the repository at this point in the history

  4. ...and this one

    @declension
    declension committed Feb 2, 2017
    Copy the full SHA
    818e27c View commit details
    Browse the repository at this point in the history

  5. Plugin UI: fix refresh, increase width

    @declension
    declension committed Feb 2, 2017
    Copy the full SHA
    2466f67 View commit details
    Browse the repository at this point in the history

Commits on Feb 11, 2017

  1. Merge branch 'master' into improve-plugin-manager

    @declension
    declension committed Feb 11, 2017
    Copy the full SHA
    4cd2518 View commit details
    Browse the repository at this point in the history

Commits on Mar 5, 2017

  1. Merge branch 'master' into improve-plugin-manager

    @declension
    declension committed Mar 5, 2017
    Copy the full SHA
    4169095 View commit details
    Browse the repository at this point in the history

Commits on Mar 6, 2017

  1. Plugins UI improvements: 

     * Use native `Gtk.SearchEntry` (full `SearchBar` felt a bit weird in the end) and move below
 * Revert size changes
 * Add tooltips for the combo boxes
 * improve padding / margins
    @declension
    declension committed Mar 6, 2017
    Copy the full SHA
    86f57fd View commit details
    Browse the repository at this point in the history

Commits on Mar 7, 2017

  1. Merge branch 'master' into improve-plugin-manager 

    # Conflicts:
#	quodlibet/quodlibet/qltk/pluginwin.py
    @declension
    declension committed Mar 7, 2017
    Copy the full SHA
    c38dcd9 View commit details
    Browse the repository at this point in the history

  2. Plugin manager: Remove frame / padding

    @declension
    declension committed Mar 7, 2017
    Copy the full SHA
    cdd5313 View commit details
    Browse the repository at this point in the history

  3. Plugin manager: Remove frame / padding 

    ...closer to original / current layout now
    @declension
    declension committed Mar 7, 2017
    Copy the full SHA
    eb58557 View commit details
    Browse the repository at this point in the history