make filter toolbox float at the top

[projects/pld-builder.new.git] / PLD_Builder / bqueue.py
diff --git a/PLD_Builder/bqueue.py b/PLD_Builder/bqueue.py

index 65546bf10c406c65cbca379e34cb5ee7de15919d..e8d544a440c092baf151e5cc5d6be998c819da9a 100644 (file)
--- a/PLD_Builder/bqueue.py
+++ b/PLD_Builder/bqueue.py
@@ -46,13 +46,18 @@ class B_Queue:
          <script src="//ajax.googleapis.com/ajax/libs/jquery/1.9.1/jquery.min.js"></script>
          <script type="text/javascript" src="script.js"></script>
      </head>
-<body>\n"""
+<body>
+<div id="header">
+    <div id="requesters-filter">Filter by requesters:<br></div>
+</div>
+<div id="content">
+"""
          )
          self.requests.reverse()
          for r in self.requests:
              r.dump_html(f)
          self.requests.reverse()
-        f.write("</body></html>\n")
+        f.write("</div></body></html>\n")
          f.flush()
          os.fsync(f.fileno())
          f.close()