Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Hint on easy install with gedit-plugininstaller #5

Merged
merged 1 commit into from Nov 19, 2017
Merged

Hint on easy install with gedit-plugininstaller #5

merged 1 commit into from Nov 19, 2017

Conversation

lwindolf
Copy link
Contributor

@lwindolf lwindolf commented Nov 17, 2017

Hi!

thanks for your great plugin, which I'm also using.

Still I get very frustrated with 3rd party plugin finding and installation in Gedit and wrote a plugin to simplify it. It is not perfect as it is AFAIK not possible to refresh the plugin list and enable the plugin after installing, but maybe this can be solved in the future.

For now please consider this PR as a suggestion to propagate an easier 3rd party plugin installation.

I'd be happy to hear your feedback!

With Best Regards,
Lars

Hi!

thanks for your great plugin, which I'm also using.

Still I get very frustrated with 3rd party plugin finding and installation in Gedit and wrote a plugin to simplify it.
It is not perfect as it is AFAIK not possible to refresh the plugin list and enable the plugin after installing, but
maybe this can be solved in the future.

For now please consider this PR as a suggestion to propagate an easier 3rd party plugin installation.

I'd be happy to hear your feedback!

With Best Regards,
Lars
@Meseira
Copy link
Owner

Meseira commented Nov 19, 2017

Thanks for your plugin and PR, it sounds good. I will try to promote your work around me, make easier plugin install for Gedit is great.

@Meseira Meseira merged commit 1503bb7 into Meseira:master Nov 19, 2017
@lwindolf
Copy link
Contributor Author

That sounds great!

@lwindolf lwindolf deleted the patch-1 branch November 26, 2017 14:24
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

2 participants