Skip to content
This repository was archived by the owner on Oct 5, 2022. It is now read-only.

UPI 0.3 #199

Merged
merged 8 commits into from
Mar 11, 2017
Merged

UPI 0.3 #199

merged 8 commits into from
Mar 11, 2017

Conversation

lierdakil
Copy link
Contributor

@lierdakil lierdakil commented Mar 8, 2017 •
edited
Loading

Changes:

  • Registration slightly more declarative (with imperative still being an option)
  • Interface slightly more object-oriented
  • Priority handling for onShouldShowTooltip
  • Destruction handling (in case ide-haskell is disabled/removed)
  • Show status for each plugin separately (via tooltip)

This was referenced Mar 8, 2017
Merged
Closed
@lierdakil lierdakil mentioned this pull request Mar 11, 2017
Closed
@lierdakil lierdakil merged commit 142a733 into master Mar 11, 2017
@lierdakil lierdakil deleted the new-upi branch March 12, 2017 20:34
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Reviewers
No reviews
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
1 participant
@lierdakil