diff options
| author | Sebastian Koslowski <koslowski@kit.edu> | 2015-06-21 22:51:01 +0200 |
|---|---|---|
| committer | Sebastian Koslowski <koslowski@kit.edu> | 2015-07-17 15:47:50 +0200 |
| commit | b05c650a8c2645a0354f9176f8112cd6a67e0996 (patch) | |
| tree | 0c7aa9b1a41386f69ead0d15456aecf3bc7e0328 /grc/gui/Platform.py | |
| parent | 11752ea4f6868594b511fceac05d5677670e2f1c (diff) | |
grc: add user settings for canvas default size and canvas font size (+ clean-ups)
Diffstat (limited to 'grc/gui/Platform.py')
| -rw-r--r-- | grc/gui/Platform.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/grc/gui/Platform.py b/grc/gui/Platform.py index db77ff2112..eda28a0e94 100644 --- a/grc/gui/Platform.py +++ b/grc/gui/Platform.py @@ -25,4 +25,4 @@ class Platform(Element): self._prefs_file = prefs_file - def get_prefs_file(self): return self._prefs_file
\ No newline at end of file + def get_prefs_file(self): return self._prefs_file |