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

Quick fix: Close menu by clicking settings #283

Merged
merged 3 commits into from
Jul 15, 2020
Merged

Quick fix: Close menu by clicking settings #283

merged 3 commits into from
Jul 15, 2020

Commits on Jul 15, 2020

  1. Quick fix: Close menu clicking settings

    @veado
    veado committed Jul 15, 2020
    Configuration menu
    Copy the full SHA
    bd01f04 View commit details
    Browse the repository at this point in the history

  2. Fix lint warning

    @veado
    veado committed Jul 15, 2020
    Configuration menu
    Copy the full SHA
    944e930 View commit details
    Browse the repository at this point in the history

  3. Merge branch 'master' into issue-278/menu-behavior

    @veado
    veado committed Jul 15, 2020
    Configuration menu
    Copy the full SHA
    513a523 View commit details
    Browse the repository at this point in the history