Last active
November 23, 2020 04:58
-
-
Save vehas/8d144eb9ef39d1f58aaf5f628522ae62 to your computer and use it in GitHub Desktop.
local
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| local | |
| local enter* | |
| add new block -> local text | |
| local text | |
| edit -> local CRDT | |
| finish edit -> remote text | |
| local CRDT | |
| edit -> local CRDT | |
| no attention -> local text | |
| update to remote -> remote CRDT | |
| remote | |
| remote enter* | |
| request -> remote text | |
| remote text | |
| request -> local text | |
| remote CRDT | |
| subscript -> local CRDT | |
| finish edit -> remote text | |
| debouch update -> remote text |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| function render(model){ | |
| let current_state_name = model.active_states[0].name; | |
| return $("h1", | |
| {style: {color: "darkBlue"}}, | |
| `The current state is: ${current_state_name}`); | |
| } |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment