diff options
| author | Sebastian Koslowski <koslowski@kit.edu> | 2016-08-01 17:53:16 +0200 |
|---|---|---|
| committer | Sebastian Koslowski <koslowski@kit.edu> | 2016-08-08 20:36:48 +0200 |
| commit | e413d4a3e21969f5b0c7bf9c8f821efb14e4ffad (patch) | |
| tree | 11280c6ea70909749d1a3e08ec2247cf7e9d0759 /grc/gui/Param.py | |
| parent | 79ca113fb294b6b5d478f9186f8a3000b13fd30a (diff) | |
grc: gtk3: use darkened bg color for port border
Diffstat (limited to 'grc/gui/Param.py')
0 files changed, 0 insertions, 0 deletions