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

Enrich plugins call #65

Merged
merged 3 commits into from
Nov 12, 2015
Merged

Enrich plugins call #65

merged 3 commits into from
Nov 12, 2015

Conversation

gracjan
Copy link
Contributor

@gracjan gracjan commented Nov 12, 2015

An Editor's side it is rare to work with a single command so it makes sense to batch queries about all available commands and command details.

This commits puts all the information about a plugin into 'plugins' call and remove the (now redundant) 'commands' and 'commandDetails' calls.

@alanz
Copy link
Collaborator

alanz commented Nov 12, 2015

I think a top-level "plugins" command makes sense, but I also think it is worth keeping the other two.

I would rather have a richer command set for editor integrators

@gracjan
Copy link
Contributor Author

gracjan commented Nov 12, 2015

Okay, in that case I'm not touching 'commands' and 'commandDetail'.

@alanz
Copy link
Collaborator

alanz commented Nov 12, 2015

thanks

On Thu, Nov 12, 2015 at 10:19 PM, Gracjan Polak notifications@github.com
wrote:

Okay, in that case I'm not touching 'commands' and 'commandDetail'.


Reply to this email directly or view it on GitHub
#65 (comment)
.

gracjan added a commit that referenced this pull request Nov 12, 2015
@gracjan gracjan merged commit b10bc56 into haskell:master Nov 12, 2015
@alanz alanz added this to the prehistory milestone Feb 2, 2019
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants