This repository was archived by the owner on Sep 20, 2023. It is now read-only.

This repository was archived by the owner on Sep 20, 2023. It is now read-only.

File button not working under certain circumstances #2465

Closed

Labels

opened

on Nov 20, 2018

Reproducable when opening #2450, then opening the pull request at the bottom (#2453), the file button now does not work (it no-ops)

_{Sent with GitHawk}

Metadata

Assignees

No one assigned

Labels

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests