Toggle for auto-updating from code editor #676
Conversation
…run from editor Conflicts: nengo_gui/static/hotkeys.js nengo_gui/static/top_toolbar.js
|
@tbekolay could you take a look at the small fix I made to Other than that, this code looks good to me! |
|
(and for clarity, here's @bjkomer 's original message on this:) Adding the option to disable automatic synchronization of the model and the code in the editor. Which shortcut keys to use is still up in the air, currently using Ctrl-Shift-1 to toggle auto-updating, and Ctrl-1 to trigger an update. The toggle can also be set in the config, and the trigger with a tool bar button (which also doubles as an indicator of whether or not the code differs from the model). Allowed Shift-Enter to run the model from the editor window (also works in the other windows). Addresses #639 |
|
I think the issue is that if there is nothing in |
|
Ah right, I see. I did a bit of googling after and apparently it is supposed to accept other types of data, but no browsers actually do it now. But you're right, if the default is |
Toggle for auto-updating from code editor
|
Yay! Merging.... |
This is just a version of #651 without the horrible mess of a rebasing I accidentally did to it.