Ark/leporello-js
1
0
Fork 0
mirror of https://github.com/leporello-js/leporello-js synced 2026-01-13 21:14:28 -08:00
Code Issues Packages Projects Releases Wiki Activity

find_call eagerly

Browse Source
This commit is contained in:
Dmitry Vasilev
2023-08-02 05:59:49 +03:00
parent 800c301cc1
commit adbca074c2
9 changed files with 144 additions and 304 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
src/effects.js vendored
View File

@@ -185,8 +185,6 @@ export const apply_side_effects = (prev, next, command, ui) => {
exec('eval_modules_finished',
next, /* becomes prev_state */
result,
s.node,
s.toplevel
)
})
}
@@ -251,7 +249,7 @@ export const apply_side_effects = (prev, next, command, ui) => {
ui.calltree.render_select_node(prev, next)
}
if(prev.calltree_node_by_loc != next.calltree_node_by_loc) {
if(prev.selected_calltree_node_by_loc != next.selected_calltree_node_by_loc) {
render_coloring(ui, next)
}