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

Case insensitive file picker #1351

Merged
merged 6 commits into from
Mar 20, 2024
Merged

Case insensitive file picker #1351

merged 6 commits into from
Mar 20, 2024

Commits on Aug 15, 2023

  1. make zenity file filters case insensitive

    David Skelly committed Aug 15, 2023
    Configuration menu
    Copy the full SHA
    4271dd8 View commit details
    Browse the repository at this point in the history

  2. update changelog

    David Skelly committed Aug 15, 2023
    Configuration menu
    Copy the full SHA
    7ac7925 View commit details
    Browse the repository at this point in the history

  3. remove some redundancy

    David Skelly committed Aug 15, 2023
    Configuration menu
    Copy the full SHA
    3d0d1f5 View commit details
    Browse the repository at this point in the history

Commits on Sep 15, 2023

  1. make custom filters case insensitive too

    David Skelly committed Sep 15, 2023
    Configuration menu
    Copy the full SHA
    c4bfaec View commit details
    Browse the repository at this point in the history

Commits on Sep 18, 2023

  1. make kdialog case insensitive as well

    David Skelly committed Sep 18, 2023
    Configuration menu
    Copy the full SHA
    d5aae24 View commit details
    Browse the repository at this point in the history

Commits on Mar 20, 2024

  1. Merge branch 'master' into case_insensitive_File_picker

    @miguelpruivo
    miguelpruivo committed Mar 20, 2024
    Configuration menu
    Copy the full SHA
    f2e71a9 View commit details
    Browse the repository at this point in the history