diff options
| author | Seth Hitefield <sdhitefield@gmail.com> | 2016-05-04 23:38:56 -0400 |
|---|---|---|
| committer | Sebastian Koslowski <koslowski@kit.edu> | 2016-05-20 13:35:26 +0200 |
| commit | 4a739cb097d9e78593aae7d722a4834cd01cddd7 (patch) | |
| tree | 49b2eb0dd439d534a89cdf949cce96455ec9c974 /grc/gui/Preferences.py | |
| parent | 4be2523ecc678365c52701a37a1b13c285bef0ba (diff) | |
grc: Renamed reports window to console.
Diffstat (limited to 'grc/gui/Preferences.py')
| -rw-r--r-- | grc/gui/Preferences.py | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/grc/gui/Preferences.py b/grc/gui/Preferences.py index f74550cd77..5fbdfe927a 100644 --- a/grc/gui/Preferences.py +++ b/grc/gui/Preferences.py @@ -140,8 +140,8 @@ def add_recent_file(file_name): set_recent_files(recent_files[:10]) # Keep up to 10 files -def reports_window_position(pos=None): - return entry('reports_window_position', pos, default=-1) or 1 +def console_window_position(pos=None): + return entry('console_window_position', pos, default=-1) or 1 def blocks_window_position(pos=None): |