1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
|
From 83063fca300a905db8f4c4f70d4b264e5e4f3785 Mon Sep 17 00:00:00 2001
From: Ignacio Casal Quinteiro <icq@gnome.org>
Date: Mon, 3 Nov 2014 08:16:31 +0100
Subject: terminal: fix for api break
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
--
cgit v0.10.1
|
