From af7349d50c40e0604c9bb1e9a50aa1c3c0d407d8 Mon Sep 17 00:00:00 2001 From: "Kartik K. Agaram" Date: Sun, 23 Oct 2016 19:18:50 -0700 Subject: 3568 Fix syntax highlighting for labels after commit 3552. --- html/edit/008-sandbox-edit.mu.html | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'html/edit/008-sandbox-edit.mu.html') diff --git a/html/edit/008-sandbox-edit.mu.html b/html/edit/008-sandbox-edit.mu.html index 883c2501..6b8599b5 100644 --- a/html/edit/008-sandbox-edit.mu.html +++ b/html/edit/008-sandbox-edit.mu.html @@ -165,7 +165,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color screen <- render-sandbox-side screen, env, render screen <- update-cursor screen, recipes, current-sandbox, sandbox-in-focus?, env show-screen screen - loop +next-event + loop +next-event } ] -- cgit 1.4.1-2-gfad0