[feature #28] FileEditor converted to a plugin #53

Closed
wants to merge 2 commits into
from

Conversation

Projects
None yet
2 participants
@Mukarr
Collaborator

Mukarr commented Aug 19, 2016

The internal File Editor was replaced with a plugin that is accessible through both the perspectives.

@martinec

This comment has been minimized.

Show comment
Hide comment
@martinec

martinec Apr 24, 2017

Member

@Mukarr would you mind to update the pull request ? If you need any help, please ask on our developer mailing list.

Member

martinec commented Apr 24, 2017

@Mukarr would you mind to update the pull request ? If you need any help, please ask on our developer mailing list.

@Mukarr

This comment has been minimized.

Show comment
Hide comment
@Mukarr

Mukarr Apr 24, 2017

Collaborator

@martinec Yeah. I will try to update the PR.

Collaborator

Mukarr commented Apr 24, 2017

@martinec Yeah. I will try to update the PR.

@martinec martinec closed this Sep 23, 2017

@martinec

This comment has been minimized.

Show comment
Hide comment
@martinec

martinec Sep 23, 2017

Member

@Mukarr I'm closing this PR for now but feel free to open it back up later once the conflicts are resolved.

Member

martinec commented Sep 23, 2017

@Mukarr I'm closing this PR for now but feel free to open it back up later once the conflicts are resolved.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment