diff options
| author | Sebastian Koslowski <koslowski@kit.edu> | 2016-02-23 21:47:52 +0100 |
|---|---|---|
| committer | Sebastian Koslowski <koslowski@kit.edu> | 2016-04-05 08:39:02 +0200 |
| commit | 3201557bfbed7ad81e0e5a34ece48bbd93ad709b (patch) | |
| tree | dd213153dad1c146fa177a818b355341ed59edfb /grc/gui/Constants.py | |
| parent | 7453e24321e6ca237ded87a6bbed8d645d2a6b53 (diff) | |
grc-refactor: move gui prefs to gui
Diffstat (limited to 'grc/gui/Constants.py')
| -rw-r--r-- | grc/gui/Constants.py | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/grc/gui/Constants.py b/grc/gui/Constants.py index 741c6fda95..b891c5b313 100644 --- a/grc/gui/Constants.py +++ b/grc/gui/Constants.py @@ -29,6 +29,16 @@ from gnuradio import gr prefs = gr.prefs() GR_PREFIX = gr.prefix() EDITOR = prefs.get_string('grc', 'editor', '') +XTERM_EXECUTABLE = prefs.get_string('grc', 'xterm_executable', 'xterm') + +PREFS_FILE = os.environ.get( + 'GRC_PREFS_PATH', + os.path.expanduser('~/.gnuradio/grc.conf') +) +PREFS_FILE_OLD = os.environ.get( + 'GRC_PREFS_PATH', + os.path.expanduser('~/.grc') +) # default path for the open/save dialogs DEFAULT_FILE_PATH = os.getcwd() |