|
morph 0.1.0
Asynchronous bridge between GUI thread and business models
|
What reloadDocuments did. More...
#include <dev_reload.hpp>
Public Attributes | |
| std::vector< std::string > | remounted |
| The screen id of each screen remounted on its new document, once per screen. | |
| std::vector< Refusal > | refused |
| Each new document that did not load, and each remount the interpreter refused; the screen and the document map keep the old document for both. | |
What reloadDocuments did.
Definition at line 76 of file dev_reload.hpp.
| std::vector<std::string> morph::ui::ReloadOutcome::remounted |
The screen id of each screen remounted on its new document, once per screen.
Definition at line 78 of file dev_reload.hpp.
| std::vector<Refusal> morph::ui::ReloadOutcome::refused |
Each new document that did not load, and each remount the interpreter refused; the screen and the document map keep the old document for both.
Definition at line 81 of file dev_reload.hpp.