diff options
| author | Jesse van den Kieboom <jessevdk@gnome.org> | 2012-01-30 13:18:28 +0100 |
|---|---|---|
| committer | Jesse van den Kieboom <jessevdk@gnome.org> | 2012-01-30 13:18:35 +0100 |
| commit | 1d1ad2d96aec412869d574e2161941b8187f7438 (patch) | |
| tree | 4a49fccba30d0309f78858383bfd3b1f2673c243 | |
| parent | 64b82ea29a95f0b94031e20f43848d831dac8ec6 (diff) | |
| download | gedit-1d1ad2d96aec412869d574e2161941b8187f7438.tar.gz | |
Fix hanging shell placeholder on OS X
| -rw-r--r-- | plugins/snippets/snippets/placeholder.py | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/plugins/snippets/snippets/placeholder.py b/plugins/snippets/snippets/placeholder.py index c76e4d85d..c9d6ec7e5 100644 --- a/plugins/snippets/snippets/placeholder.py +++ b/plugins/snippets/snippets/placeholder.py @@ -441,10 +441,10 @@ class PlaceholderShell(PlaceholderExpand): line = unicode(line, locale.getdefaultlocale()[1], 'replace') - self.shell_output += line - self.install_timeout() + self.shell_output += line + self.install_timeout() - return True + return True self.process_close() return False |