Skip to content
This repository has been archived by the owner on Jul 25, 2022. It is now read-only.

Minor fixes #71

Merged
merged 4 commits into from
Dec 2, 2018
Merged

Minor fixes #71

merged 4 commits into from
Dec 2, 2018

Conversation

laughedelic
Copy link
Owner

@laughedelic laughedelic commented Dec 2, 2018 •
edited
Loading

This is a follow up of #69.

  • add command names (and rename metals-run-doctor to metals-doctor-run
  • fix notification for the new projects initialization
  • clean up status bar when the server if terminated

@laughedelic laughedelic self-assigned this Dec 2, 2018
@olafurpg olafurpg mentioned this pull request Dec 2, 2018
Merged
@laughedelic
Copy link
Owner Author

I couldn't find a way to hook to the server termination and cleanup the status bar, so I'll leave it for later. Asked for help in atom/atom-languageclient#248.

@laughedelic laughedelic merged commit 0de1815 into master Dec 2, 2018
@laughedelic laughedelic deleted the 0.8.0-fixes branch December 2, 2018 20:24
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Reviewers

@olafurpg olafurpg olafurpg left review comments

Assignees

@laughedelic laughedelic

Labels
specific:Atom specific:Metals type:enhancement
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@laughedelic @olafurpg