• Minor visual adjustment in "Filter lists" pane

    @gorhill
    gorhill committed May 5, 2020
    Verified
    This commit was signed with a verified signature.
    gorhill Raymond Hill
    GPG key ID: 25E1490B761470C2 Learn about signing commits
    40b0d3a