Skip to content

Comments

First commit - Hot reload plugin#49

Open
cpeosphoros wants to merge 1 commit intopkulchenko:masterfrom
cpeosphoros:reloadplugin
Open

First commit - Hot reload plugin#49
cpeosphoros wants to merge 1 commit intopkulchenko:masterfrom
cpeosphoros:reloadplugin

Conversation

@cpeosphoros
Copy link
Contributor

Hot reloads the plugin in the current editor. It will unregister the plugin and register it again, in order to avoid sideffects like duplicate menu entries, etc.

@cpeosphoros cpeosphoros changed the title First commit First commit - Hot reload plugin Jul 21, 2017
Hot reloads the plugin in the current editor. It will unregister the plugin and register it again, in order to avoid sideffects like duplicate menu entries, etc.
missing attribution

missing attributioon of 0 to warnings
Revert "First commit"

This reverts commit 7f15d0e.
@pkulchenko
Copy link
Owner

See changes and improvements in pkulchenko/ZeroBraneStudio#820 (comment).

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.

2 participants