# HG changeset patch
# User Paul Boddie <paul@boddie.org.uk>
# Date 1422918138 -3600
# Node ID 55be9e306c655496277b2afd06d3b369847bc89e
# Parent  423eb08d06b948f712b1a5e97aa02eb9cb519d04
Preserved checkbox selections upon form submission.

diff -r 423eb08d06b9 -r 55be9e306c65 imip_manager.py
--- a/imip_manager.py	Mon Feb 02 23:51:42 2015 +0100
+++ b/imip_manager.py	Tue Feb 03 00:02:18 2015 +0100
@@ -1095,8 +1095,8 @@
     def _time_point(self, point, endpoint):
         page = self.page
         value, identifier = self._slot_value_and_identifier(point, endpoint)
-        slot = self.env.get_args().get("slot", [None])[0]
-        if slot == value:
+        slots = self.env.get_args().get("slot", [])
+        if value in slots:
             page.input(name="slot", type="checkbox", value=value, id=identifier, class_="newevent", checked="checked")
         else:
             page.input(name="slot", type="checkbox", value=value, id=identifier, class_="newevent")