diff options
| author | Marc L <marcll@vt.edu> | 2019-07-15 15:46:27 -0400 |
|---|---|---|
| committer | Marcus Müller <marcus@hostalia.de> | 2019-07-17 21:39:18 +0200 |
| commit | a3db203065f8ea2812cb4a560dcb8b91cdfdff14 (patch) | |
| tree | cd30d210d1d777371f7b8830ade1459c59efd557 /grc/gui/Config.py | |
| parent | 716f5ac3151004f7fa0a906d73aaa7030295fb3b (diff) | |
grc: added url to wiki page for each block in docs tab
Diffstat (limited to 'grc/gui/Config.py')
| -rw-r--r-- | grc/gui/Config.py | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/grc/gui/Config.py b/grc/gui/Config.py index 28dd737984..cd1062ff87 100644 --- a/grc/gui/Config.py +++ b/grc/gui/Config.py @@ -97,6 +97,10 @@ class Config(CoreConfig): return self._gr_prefs.get_string('grc', 'xterm_executable', 'xterm') @property + def wiki_block_docs_url_prefix(self): + return self._gr_prefs.get_string('grc-docs', 'wiki_block_docs_url_prefix', '') + + @property def default_canvas_size(self): try: # ugly, but matches current code style raw = self._gr_prefs.get_string('grc', 'canvas_default_size', '1280, 1024') |