summaryrefslogtreecommitdiff
path: root/server
diff options
context:
space:
mode:
authorTimotej Lazar <timotej.lazar@fri.uni-lj.si>2015-11-17 17:24:14 +0100
committerTimotej Lazar <timotej.lazar@fri.uni-lj.si>2015-11-17 17:24:32 +0100
commitb7d1b3a3f392e0bd5f4edafb8dd4b9e7d69b305f (patch)
tree17c1adc9f859c3c32f83f51d2d87f15a31da4271 /server
parentba20e27cccb66197acf3f8b5df824b527dbe46b1 (diff)
Add optional style attribute for popup hints
Diffstat (limited to 'server')
-rw-r--r--server/hints.py7
1 files changed, 5 insertions, 2 deletions
diff --git a/server/hints.py b/server/hints.py
index 4c97510..62999ca 100644
--- a/server/hints.py
+++ b/server/hints.py
@@ -15,6 +15,7 @@ class Hint(object):
# Hint sequence: static type, but each time a hint is sent, increase the
# message index until the last message is reached, then repeat that.
+# NOTE not used, check if we can remove this
class HintSequence(Hint):
def __init__(self, name, length):
self.name = name
@@ -32,8 +33,10 @@ class HintSequence(Hint):
class HintPopup(Hint):
hint_type = 'popup'
- def __init__(self, name):
+ def __init__(self, name, style=None):
self.name = name
+ self.style = style
def instantiate(self, hint, prev_hints):
- pass
+ if self.style is not None:
+ hint['style'] = self.style