Set URL to gator and remove File menu

coveralls commented 4 years ago

Pull Request Test Coverage Report for Build 352483482

Warning: This coverage report may be inaccurate.

This pull request's base commit is no longer the HEAD commit of its target branch. This means it includes changes from outside the original pull request, including, potentially, unrelated coverage changes.

For more information on this, see Tracking coverage changes with pull request builds.
To avoid this issue with future PRs, see these Recommended CI Configurations.
For a quick fix, rebase this PR at GitHub. Your next report should be accurate.

Details

0 of 0 changed or added relevant lines in 0 files are covered.
No unchanged relevant lines lost coverage.
Overall coverage increased (+0.1%) to 69.49%

Totals
Change from base Build 352464035:	0.1%
Covered Lines:	741
Relevant Lines:	976

💛 - Coveralls

jtpio commented 4 years ago

Thanks!

The file menu and top area were mostly used as placeholder for now. So we can drop them if there is no use at the moment :+1:

jtpio commented 4 years ago

The file menu and top area were mostly used as placeholder for now. So we can drop them if there is no use at the moment

But we'll probably want to bring them back at some point when new features are added. Also having a Help menu with the version number is quite useful.

mamba-org / gator