From 9f4a4eae44cfbe146fd32b3015cd3b014673ed47 Mon Sep 17 00:00:00 2001
From: Sebastian Koslowski <koslowski@kit.edu>
Date: Fri, 11 Jul 2014 23:24:47 +0200
Subject: grc: toogle action to disable auto-hiding port labels
---
grc/gui/Preferences.py | 6 ++++++
1 file changed, 6 insertions(+)
(limited to 'grc/gui/Preferences.py')
diff --git a/grc/gui/Preferences.py b/grc/gui/Preferences.py
index a6bd0d6603..d2ffc71410 100644
--- a/grc/gui/Preferences.py
+++ b/grc/gui/Preferences.py
@@ -101,3 +101,9 @@ def scroll_lock(visible=None):
else:
try: return _config_parser.getboolean('main', 'scroll_lock')
except: return True
+
+def auto_hide_port_labels(hide=None):
+ if hide is not None: _config_parser.set('main', 'auto_hide_port_labels', hide)
+ else:
+ try: return _config_parser.getboolean('main', 'auto_hide_port_labels')
+ except: return True
--
cgit v1.2.3