diff options
| author | Sebastian Koslowski <koslowski@kit.edu> | 2014-12-12 17:27:42 +0100 |
|---|---|---|
| committer | Sebastian Koslowski <koslowski@kit.edu> | 2014-12-12 17:27:42 +0100 |
| commit | 20c71cb44a6f7500e64a8e9e394e9e1b372aa46d (patch) | |
| tree | ffc431dc24563dfbf8e4054f8890cc377ff53426 /grc/gui/Element.py | |
| parent | a4e0154373510695741f840298f4ea7c2cbb217a (diff) | |
grc: add domain property color and use it for connections
Diffstat (limited to 'grc/gui/Element.py')
| -rw-r--r-- | grc/gui/Element.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/grc/gui/Element.py b/grc/gui/Element.py index 67e8e10916..18fb321929 100644 --- a/grc/gui/Element.py +++ b/grc/gui/Element.py @@ -106,6 +106,7 @@ class Element(object): window.draw_rectangle(gc, False, aX, aY, W, H) for (x1, y1), (x2, y2) in self._lines_list: gc.set_foreground(border_color) + gc.set_background(bg_color) window.draw_line(gc, X+x1, Y+y1, X+x2, Y+y2) def rotate(self, rotation): |