make sure lint results are only displayed once.

alokmenghrajani · Jan 28, 2012 · 8f2ed4b · 8f2ed4b
1 parent be92d10
commit 8f2ed4b
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/riskybird.opa b/riskybird.opa
@@ -230,7 +230,7 @@ function void linter_run() {
   if (Option.is_some(l)) {
     if (Dom.is_empty(Dom.select_id("lint_rule1"))) {
       Dom.remove_class(#lint, "hide")
-      _ = Dom.put_at_end(#lint_rules, Dom.of_xhtml(Option.get(l)))
+      _ = Dom.put_replace(#lint_rules, Dom.of_xhtml(Option.get(l)))
       void
     }
     void