New simple poller that checks every 2s. if there are new pending release requests. If that's the case, the top notification box is updated.

fixes #227
2026-10-21 06:18:45 +02:00 · 2012-04-07 17:44:09 +02:00
parent 2ad7b0a039
commit 8e9d8aef3b
9 changed files with 75 additions and 25 deletions
@@ -87,4 +87,8 @@ body {

 .tr-selected { 
    background-color: #F5F5F5;
+}
+
+.hidden { 
+    display: none;
 }