From d503f877632413029fa287c13a86ae2030776870 Mon Sep 17 00:00:00 2001
From: WrinklyNinja <wrinklyninja1@gmail.com>
Date: Thu, 4 Sep 2014 10:53:15 +0100
Subject: [PATCH] Fixed plugin messages update after user edits.

When there weren't already any messages for the plugin, the new messages
weren't being displayed. Fixes #283.
---
 resources/report/js/plugin.js | 1 +
 1 file changed, 1 insertion(+)

diff --git a/resources/report/js/plugin.js b/resources/report/js/plugin.js
index 73514acd..d4585c01 100644
--- a/resources/report/js/plugin.js
+++ b/resources/report/js/plugin.js
@@ -126,6 +126,7 @@ function Plugin(obj) {
                 messageUL.appendChild(messageLi);
 
             });
+            this.card.getElementsByTagName('ul')[0].classList.toggle('hidden', false);
         } else {
             this.card.getElementsByTagName('ul')[0].classList.toggle('hidden', true);
         }