diff options
| author | Sebastian Koslowski <koslowski@kit.edu> | 2014-06-13 11:03:43 +0200 |
|---|---|---|
| committer | Sebastian Koslowski <koslowski@kit.edu> | 2014-06-13 11:05:05 +0200 |
| commit | 04de4b8d8cbb38d2b7dd10c30dc8bbd66d9ca370 (patch) | |
| tree | 64e86676600ac5b1b6afde4dac81b2904620f8a3 /grc/gui/MainWindow.py | |
| parent | 9d6284c1e2317995c2ac959de0fa4f0668c0064d (diff) | |
grc: minor edits. removed extra whitespace
Diffstat (limited to 'grc/gui/MainWindow.py')
| -rw-r--r-- | grc/gui/MainWindow.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/grc/gui/MainWindow.py b/grc/gui/MainWindow.py index e763855fd4..f309d34a2e 100644 --- a/grc/gui/MainWindow.py +++ b/grc/gui/MainWindow.py @@ -155,7 +155,7 @@ class MainWindow(gtk.Window): line: the new text """ self.text_display.insert(line) - + ############################################################ # Pages: create and close ############################################################ |