diff options
| author | Sebastian Koslowski <koslowski@kit.edu> | 2016-02-11 22:45:55 +0100 |
|---|---|---|
| committer | Sebastian Koslowski <koslowski@kit.edu> | 2016-02-17 19:55:17 +0100 |
| commit | 7453e24321e6ca237ded87a6bbed8d645d2a6b53 (patch) | |
| tree | e62d0989c9e7082768dfece98372845658dbef9f /grc/gui/Platform.py | |
| parent | d905f0d803574acd158183135e113b807bd7c878 (diff) | |
grc-refactor: Platform.py
Diffstat (limited to 'grc/gui/Platform.py')
| -rw-r--r-- | grc/gui/Platform.py | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/grc/gui/Platform.py b/grc/gui/Platform.py index 793065b025..85a6872027 100644 --- a/grc/gui/Platform.py +++ b/grc/gui/Platform.py @@ -40,7 +40,8 @@ class Platform(Element, _Platform): self._move_old_pref_file() self._prefs_file = PREFS_FILE - def get_prefs_file(self): return self._prefs_file + def get_prefs_file(self): + return self._prefs_file @staticmethod def _move_old_pref_file(): |