diff options
| author | Sebastian Koslowski <koslowski@kit.edu> | 2013-11-07 12:14:46 +0100 |
|---|---|---|
| committer | Johnathan Corgan <johnathan@corganlabs.com> | 2013-11-07 16:21:47 -0800 |
| commit | 43398a55d959b12fb34a6cc9a7b2f14a0ecc9979 (patch) | |
| tree | e5ad55bd51c5b4af60425eb8478c895564c2b194 /grc/gui/MainWindow.py | |
| parent | 59ab46d521d11b9ad14da5221cb7fa269ab9dea7 (diff) | |
grc: make backspace chars work in TextDisplay
Diffstat (limited to 'grc/gui/MainWindow.py')
| -rw-r--r-- | grc/gui/MainWindow.py | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/grc/gui/MainWindow.py b/grc/gui/MainWindow.py index 677f202e1f..5dbd56efd3 100644 --- a/grc/gui/MainWindow.py +++ b/grc/gui/MainWindow.py @@ -154,8 +154,8 @@ class MainWindow(gtk.Window): """ self.text_display.insert(line) vadj = self.reports_scrolled_window.get_vadjustment() - vadj.set_value(vadj.upper) - vadj.emit('changed') + vadj.value = vadj.upper - vadj.page_size + vadj.changed() ############################################################ # Pages: create and close |