[gedit-plugins] terminal: port to new panel api

[Ignacio Casal Quinteiro <icq src gnome org>]

commit ad01245f2bce93666446f83d119572e6e3e3027a
Author: Ignacio Casal Quinteiro <icq gnome org>
Date:   Wed Feb 5 11:47:20 2014 +0100

    terminal: port to new panel api

 plugins/terminal/terminal.py |    4 +---
 1 files changed, 1 insertions(+), 3 deletions(-)
---
diff --git a/plugins/terminal/terminal.py b/plugins/terminal/terminal.py
index c271bdf..ca72571 100644
--- a/plugins/terminal/terminal.py
+++ b/plugins/terminal/terminal.py
@@ -310,10 +310,8 @@ class TerminalPlugin(GObject.Object, Gedit.WindowActivatable):
         self._panel.connect("populate-popup", self.on_panel_populate_popup)
         self._panel.show()
 
-        image = Gtk.Image.new_from_icon_name("utilities-terminal-symbolic", Gtk.IconSize.MENU)
-
         bottom = self.window.get_bottom_panel()
-        bottom.add_item(self._panel, "GeditTerminalPanel", _("Terminal"), image)
+        bottom.add_titled(self._panel, "GeditTerminalPanel", _("Terminal"))
 
     def do_deactivate(self):
         bottom = self.window.get_bottom_panel()