[gedit-plugins] terminal: fix for api break
- From: Ignacio Casal Quinteiro <icq src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [gedit-plugins] terminal: fix for api break
- Date: Mon, 3 Nov 2014 07:17:06 +0000 (UTC)
commit 83063fca300a905db8f4c4f70d4b264e5e4f3785
Author: Ignacio Casal Quinteiro <icq gnome org>
Date: Mon Nov 3 08:16:31 2014 +0100
terminal: fix for api break
plugins/terminal/terminal.py | 4 ++--
1 files changed, 2 insertions(+), 2 deletions(-)
---
diff --git a/plugins/terminal/terminal.py b/plugins/terminal/terminal.py
index f6d7eb5..3606b79 100644
--- a/plugins/terminal/terminal.py
+++ b/plugins/terminal/terminal.py
@@ -36,7 +36,7 @@ except:
class GeditTerminal(Vte.Terminal):
defaults = {
- 'visible_bell' : False,
+ 'audible_bell' : False,
}
TARGET_URI_LIST = 200
@@ -144,7 +144,7 @@ class GeditTerminal(Vte.Terminal):
self.set_allow_bold(self.profile_settings.get_boolean("allow-bold"))
self.set_scroll_on_keystroke(self.profile_settings.get_boolean("scroll-on-keystroke"))
self.set_scroll_on_output(self.profile_settings.get_boolean("scroll-on-output"))
- self.set_visible_bell(self.defaults['visible_bell'])
+ self.set_audible_bell(self.defaults['audible_bell'])
if self.profile_settings.get_boolean("scrollback-unlimited"):
lines = -1
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]