plugins/c_ext/CFileEditor.py
changeset 656 c1792dfc8c7e
parent 653 21a572d80bd7
child 658 94417ab25510
--- a/plugins/c_ext/CFileEditor.py	Mon Dec 19 01:56:13 2011 +0100
+++ b/plugins/c_ext/CFileEditor.py	Tue Dec 20 23:37:06 2011 +0100
@@ -477,7 +477,6 @@
                 editor = None
                 renderer = None
                 colname = self.GetColLabelValue(col)
-                grid.SetReadOnly(row, col, False)
                 
                 if colname == "Name":
                     editor = wx.grid.GridCellTextEditor()
@@ -618,6 +617,9 @@
             self.VariablesGrid.SetColSize(col, self.ColSizes[col])
         self.Table.ResetView(self.VariablesGrid)
 
+    def __del__(self):
+        self.Controler.OnCloseEditor()
+
     def IsViewing(self, name):
         return name == "Variables"
 
@@ -646,7 +648,7 @@
     
     def OnVariablesGridCellChange(self, event):
         self.RefreshModel()
-        self.RefreshView()
+        wx.CallAfter(self.RefreshView)
         event.Skip()
 
     def OnVariablesGridEditorShown(self, event):
@@ -891,10 +893,10 @@
         self.SetIcon(wx.BitmapFromImage(img.Rescale(16, 16)))
         
     def GetTitle(self):
-        filename = self.Controler.GetFilename()
+        fullname = self.Controler.PlugFullName()
         if not self.Controler.CFileIsSaved():
-            return "~%s~" % filename
-        return filename
+            return "~%s~" % fullname
+        return fullname
     
     def GetBufferState(self):
         return self.Controler.GetBufferState()