diff options
author | Timotej Lazar <timotej.lazar@fri.uni-lj.si> | 2015-11-17 17:24:14 +0100 |
---|---|---|
committer | Timotej Lazar <timotej.lazar@fri.uni-lj.si> | 2015-11-17 17:24:32 +0100 |
commit | b7d1b3a3f392e0bd5f4edafb8dd4b9e7d69b305f (patch) | |
tree | 17c1adc9f859c3c32f83f51d2d87f15a31da4271 /server | |
parent | ba20e27cccb66197acf3f8b5df824b527dbe46b1 (diff) |
Add optional style attribute for popup hints
Diffstat (limited to 'server')
-rw-r--r-- | server/hints.py | 7 |
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 |