Closed yuanzhou closed 8 years ago
@harryhoch can you merge this PR if it looks good to you? Thanks! And I'll update the npm version and push it to monarch-app too.
looks good, @yuanzhou, please push to npm, etc.. thanks.
oops. forgot to merge before close.
Per @harryhoch's suggestion, it's more user-friendly and intuitive to display a close button in the options panel and the unmatched dialog.
Can be safely merged.