diff options
| author | Sebastian Koslowski <koslowski@kit.edu> | 2014-07-04 21:58:26 +0200 |
|---|---|---|
| committer | Sebastian Koslowski <koslowski@kit.edu> | 2014-07-11 23:25:31 +0200 |
| commit | 02db08d26e992a0c9c90b382ce9809d39283a910 (patch) | |
| tree | 769f2a91551d0876b7d7699d798eb37773542a9c /grc/gui/Element.py | |
| parent | 085c35a375468179929b690a0d7f037dc6ef23bf (diff) | |
grc: auto-hide port labels
Diffstat (limited to 'grc/gui/Element.py')
| -rw-r--r-- | grc/gui/Element.py | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/grc/gui/Element.py b/grc/gui/Element.py index 915bdfb915..bca7a03699 100644 --- a/grc/gui/Element.py +++ b/grc/gui/Element.py @@ -262,3 +262,9 @@ class Element(object): if rotation not in POSSIBLE_ROTATIONS: raise Exception('"%s" is not one of the possible rotations: (%s)'%(rotation, POSSIBLE_ROTATIONS)) self.rotation = rotation + + def mouse_over(self): + pass + + def mouse_out(self): + pass |