[gedit-plugins] terminal: use the right api to remove the panel item
- From: Ignacio Casal Quinteiro <icq src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [gedit-plugins] terminal: use the right api to remove the panel item
- Date: Wed, 5 Feb 2014 10:52:36 +0000 (UTC)
commit 2d6d0c1702d8841e58b6771addd72c5809344227
Author: Ignacio Casal Quinteiro <icq gnome org>
Date: Wed Feb 5 11:52:16 2014 +0100
terminal: use the right api to remove the panel item
plugins/terminal/terminal.py | 2 +-
1 files changed, 1 insertions(+), 1 deletions(-)
---
diff --git a/plugins/terminal/terminal.py b/plugins/terminal/terminal.py
index ca72571..62a95bd 100644
--- a/plugins/terminal/terminal.py
+++ b/plugins/terminal/terminal.py
@@ -315,7 +315,7 @@ class TerminalPlugin(GObject.Object, Gedit.WindowActivatable):
def do_deactivate(self):
bottom = self.window.get_bottom_panel()
- bottom.remove_item(self._panel)
+ bottom.remove(self._panel)
def do_update_state(self):
pass
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]