diff -r 8d0309c4b7f6 -r a2b1d1770ef0 Plugins/ViewManagerPlugins/Tabview/Tabview.py
--- a/Plugins/ViewManagerPlugins/Tabview/Tabview.py Mon Aug 09 08:41:03 2010 +0200
+++ b/Plugins/ViewManagerPlugins/Tabview/Tabview.py Mon Aug 09 15:36:47 2010 +0200
@@ -189,8 +189,7 @@
self.closeButton.setIcon(UI.PixmapCache.getIcon("close.png"))
self.closeButton.setToolTip(self.trUtf8("Close the current editor"))
self.closeButton.setEnabled(False)
- self.connect(self.closeButton, SIGNAL("clicked(bool)"),
- self.__closeButtonClicked)
+ self.closeButton.clicked[bool].connect(self.__closeButtonClicked)
self.rightCornerWidgetLayout.addWidget(self.closeButton)
else:
self.connect(self, SIGNAL("tabCloseRequested(int)"),
@@ -1096,4 +1095,4 @@
for tw in self.tabWidgets:
if id(tw) == id_:
return tw
- return None
+ return None
\ No newline at end of file
