diff options
| author | Sebastian Koslowski <koslowski@kit.edu> | 2014-04-09 17:41:52 +0200 |
|---|---|---|
| committer | Sebastian Koslowski <koslowski@kit.edu> | 2014-04-09 17:45:09 +0200 |
| commit | 14625c6ed115af2206e379bc92ad2adf96f6cff9 (patch) | |
| tree | e03b545996c076e9c267e070379e4a8cf2884637 /grc/gui/Platform.py | |
| parent | 0b69cb314c4e63dc82bd971551cb2cdbae12a302 (diff) | |
grc: nicer output of blocks paths and prefs file
Diffstat (limited to 'grc/gui/Platform.py')
| -rw-r--r-- | grc/gui/Platform.py | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/grc/gui/Platform.py b/grc/gui/Platform.py index 6a8175b9fa..db77ff2112 100644 --- a/grc/gui/Platform.py +++ b/grc/gui/Platform.py @@ -20,4 +20,9 @@ Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, USA from Element import Element class Platform(Element): - def __init__(self): Element.__init__(self) + def __init__(self, prefs_file): + Element.__init__(self) + + self._prefs_file = prefs_file + + def get_prefs_file(self): return self._prefs_file
\ No newline at end of file |