[gedit-plugins] Update to use new gedit panel api.



commit 38f8e7cbd816222a2363c61f153b6725fda2172e
Author: Ignacio Casal Quinteiro <icq gnome org>
Date:   Sat May 1 21:10:10 2010 +0200

    Update to use new gedit panel api.

 plugins/charmap/gedit-charmap-plugin.c |    1 +
 plugins/terminal/terminal.py           |    2 +-
 2 files changed, 2 insertions(+), 1 deletions(-)
---
diff --git a/plugins/charmap/gedit-charmap-plugin.c b/plugins/charmap/gedit-charmap-plugin.c
index 80afb5b..4722528 100644
--- a/plugins/charmap/gedit-charmap-plugin.c
+++ b/plugins/charmap/gedit-charmap-plugin.c
@@ -255,6 +255,7 @@ impl_activate (GeditPlugin *plugin,
 
 	gedit_panel_add_item (panel,
 			      data->panel,
+			      "GeditCharmapPanel",
 			      _("Character Map"),
 			      image);
 
diff --git a/plugins/terminal/terminal.py b/plugins/terminal/terminal.py
index 229a766..deae97a 100644
--- a/plugins/terminal/terminal.py
+++ b/plugins/terminal/terminal.py
@@ -283,7 +283,7 @@ class TerminalWindowHelper(object):
         image.set_from_icon_name("utilities-terminal", gtk.ICON_SIZE_MENU)
 
         bottom = window.get_bottom_panel()
-        bottom.add_item(self._panel, _("Terminal"), image)
+        bottom.add_item(self._panel, "GeditTerminalPanel", _("Terminal"), image)
 
     def deactivate(self):
         bottom = self._window.get_bottom_panel()



[Date Prev][Date Next]   [Thread Prev][Thread Next]   [Thread Index] [Date Index] [Author Index]