[gedit-plugins] terminal: Remove unnecessary calls to set background
- From: Christian Persch <chpe src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [gedit-plugins] terminal: Remove unnecessary calls to set background
- Date: Thu, 26 Sep 2013 08:49:44 +0000 (UTC)
commit f7ee1be8428bcd3f69ea4f07b503cac62e287c3e
Author: Christian Persch <chpe gnome org>
Date: Thu Sep 26 02:21:38 2013 +0200
terminal: Remove unnecessary calls to set background
It's off by default anyway, no need to explicitly set it again.
Bug #708777.
plugins/terminal/terminal.py | 2 --
1 files changed, 0 insertions(+), 2 deletions(-)
---
diff --git a/plugins/terminal/terminal.py b/plugins/terminal/terminal.py
index 50322a3..bf44182 100644
--- a/plugins/terminal/terminal.py
+++ b/plugins/terminal/terminal.py
@@ -45,8 +45,6 @@ class GeditTerminal(Vte.Terminal):
def __init__(self):
Vte.Terminal.__init__(self)
- self.set_background_image(None)
- self.set_background_transparent(False)
self.set_size(self.get_column_count(), 5)
self.set_size_request(200, 50)
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]