mirror of
https://github.com/enso-org/enso.git
synced 2024-12-22 22:51:38 +03:00
Make run button execute in live mode (#8876)
What can I say? It's not quite a bug. Rather a wrong implementation Anyway, fixes #8810
This commit is contained in:
parent
084245868d
commit
ad7fad42fa
@ -330,7 +330,7 @@ function onPlayButtonPress() {
|
||||
if (modeValue == undefined) {
|
||||
return
|
||||
}
|
||||
projectStore.executionContext.recompute('all', modeValue === 'live' ? 'Live' : 'Design')
|
||||
projectStore.executionContext.recompute('all', 'Live')
|
||||
})
|
||||
}
|
||||
|
||||
|
Loading…
Reference in New Issue
Block a user