diff options
| author | Sebastian Koslowski <koslowski@kit.edu> | 2016-07-22 10:08:54 +0200 |
|---|---|---|
| committer | Sebastian Koslowski <koslowski@kit.edu> | 2016-07-29 15:45:08 +0200 |
| commit | 6f067a5029baaf4be8fcb39c6b22729a0a9e946b (patch) | |
| tree | 251b9d51f63210cc879254b185b205b608f85801 /grc/gui/Constants.py | |
| parent | 6b99b6fded94ae1ed8421c624246362e7925fb08 (diff) | |
grc: various clean-ups and fixes
Diffstat (limited to 'grc/gui/Constants.py')
| -rw-r--r-- | grc/gui/Constants.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/grc/gui/Constants.py b/grc/gui/Constants.py index 5c55c4180e..516aaf92f4 100644 --- a/grc/gui/Constants.py +++ b/grc/gui/Constants.py @@ -72,6 +72,7 @@ PORT_SEPARATION = 32 PORT_MIN_WIDTH = 20 PORT_LABEL_HIDDEN_WIDTH = 10 +PORT_EXTRA_BUS_HEIGHT = 40 # minimal length of connector CONNECTOR_EXTENSION_MINIMAL = 11 |