adding repfiles plugin - Githubissues

gaenseklein commented 10 months ago

This is a

[x] New plugin.
[ ] Update to an existing plugin.

Plugin name and version: repfiles v1.0.0

Plugin source code zip file: https://github.com/gaenseklein/repfiles/archive/refs/tags/v1.0.0.zip

Checklist:

[x] Plugin has a repo.json listing the Name, Description, Website, and License.
[x] I have read the instructions at https://github.com/micro-editor/plugin-channel#adding-your-own-plugin.

plugin repo is https://github.com/gaenseklein/repfiles

glad to share it. makes fun to work with. no mouse-support as i cant get the mouse-events to work in lua plugins (filemanagers mouse-support also does not work)

taconi commented 6 months ago

Hello. It was missing from the README.md table, could you resolve this?

taconi commented 6 months ago

All that remains is to know when it will be merged.

taconi commented 6 months ago

@dmaluka @JoeKar @dustdfg @Andriamanitra @zyedidia Could someone do the merge?

gaenseklein commented 6 months ago

as the pr has some time right now there is also a newer version of repfiles then the published version linked above. the zip to the new version is available in version 1.1.0

i could alter this pull request to the newer version if wanted or state another one later on for the update. i dont know what you would prefer here. glad to share this plugin, i use it all the time.

taconi commented 6 months ago

You can update the PR with the new link one without any problems. But you can later in another PR, it's your preference.

micro-editor / plugin-channel

adding repfiles plugin #96