Merge template-live-editor

This commit is contained in:
Kartik K. Agaram 2023-04-21 08:23:05 -07:00
commit a779b49edd
2 changed files with 1 additions and 4 deletions

View File

@ -63,9 +63,7 @@ record those here.
on.draw = function( on.draw = function(
``` ```
Hit F4. Driver shows an error under the definition as before. Hit F4. Driver shows an error under the definition as before.
Quit the client app. The invalid code is saved in file 0002-on.draw in the Quit the client app.
save dir. However, the file 'head' in the save dir contains '1'.
[Don't restart the client app.]
Switch back to the driver. Hit F4. The driver hangs and needs to be Switch back to the driver. Hit F4. The driver hangs and needs to be
force-quit. [This is not ideal, but how things are today.] force-quit. [This is not ideal, but how things are today.]

View File

@ -153,7 +153,6 @@ function App.draw()
end end
function App.update(dt) function App.update(dt)
if Mode == 'error' then return end
Current_time = Current_time + dt Current_time = Current_time + dt
-- some hysteresis while resizing -- some hysteresis while resizing
if Current_time < Last_resize_time + 0.1 then if Current_time < Last_resize_time + 0.1 then