55 KEYWORDS = [] |
55 KEYWORDS = [] |
56 COMMENT_HEADER = "" |
56 COMMENT_HEADER = "" |
57 |
57 |
58 def __init__(self, parent, window, controler): |
58 def __init__(self, parent, window, controler): |
59 CustomStyledTextCtrl.__init__(self, parent, -1, wx.DefaultPosition, |
59 CustomStyledTextCtrl.__init__(self, parent, -1, wx.DefaultPosition, |
60 wx.Size(-1, 300), 0) |
60 wx.Size(-1, 300), 0) |
61 |
61 |
62 self.SetMarginType(1, stc.STC_MARGIN_NUMBER) |
62 self.SetMarginType(1, stc.STC_MARGIN_NUMBER) |
63 self.SetMarginWidth(1, 25) |
63 self.SetMarginWidth(1, 25) |
64 |
64 |
65 self.SetProperty("fold", "1") |
65 self.SetProperty("fold", "1") |
659 ("AddVariableButton", "add_element", _("Add variable")), |
659 ("AddVariableButton", "add_element", _("Add variable")), |
660 ("DeleteVariableButton", "remove_element", _("Remove variable")), |
660 ("DeleteVariableButton", "remove_element", _("Remove variable")), |
661 ("UpVariableButton", "up", _("Move variable up")), |
661 ("UpVariableButton", "up", _("Move variable up")), |
662 ("DownVariableButton", "down", _("Move variable down"))]: |
662 ("DownVariableButton", "down", _("Move variable down"))]: |
663 button = wx.lib.buttons.GenBitmapButton(self, bitmap=GetBitmap(bitmap), |
663 button = wx.lib.buttons.GenBitmapButton(self, bitmap=GetBitmap(bitmap), |
664 size=wx.Size(28, 28), style=wx.NO_BORDER) |
664 size=wx.Size(28, 28), style=wx.NO_BORDER) |
665 button.SetToolTipString(help) |
665 button.SetToolTipString(help) |
666 setattr(self, name, button) |
666 setattr(self, name, button) |
667 controls_sizer.AddWindow(button, border=5, flag=wx.BOTTOM) |
667 controls_sizer.AddWindow(button, border=5, flag=wx.BOTTOM) |
668 |
668 |
669 self.VariablesGrid = CustomGrid(self, style=wx.VSCROLL) |
669 self.VariablesGrid = CustomGrid(self, style=wx.VSCROLL) |
836 if event.GetCol() == 0: |
836 if event.GetCol() == 0: |
837 row = event.GetRow() |
837 row = event.GetRow() |
838 data_type = self.Table.GetValueByName(row, "Type") |
838 data_type = self.Table.GetValueByName(row, "Type") |
839 var_name = self.Table.GetValueByName(row, "Name") |
839 var_name = self.Table.GetValueByName(row, "Name") |
840 data = wx.TextDataObject(str((var_name, "Global", data_type, |
840 data = wx.TextDataObject(str((var_name, "Global", data_type, |
841 self.Controler.GetCurrentLocation()))) |
841 self.Controler.GetCurrentLocation()))) |
842 dragSource = wx.DropSource(self.VariablesGrid) |
842 dragSource = wx.DropSource(self.VariablesGrid) |
843 dragSource.SetData(data) |
843 dragSource.SetData(data) |
844 dragSource.DoDragDrop() |
844 dragSource.DoDragDrop() |
845 return |
845 return |
846 event.Skip() |
846 event.Skip() |
858 def _create_CodePanel(self, prnt): |
858 def _create_CodePanel(self, prnt): |
859 self.CodeEditorPanel = wx.SplitterWindow(prnt) |
859 self.CodeEditorPanel = wx.SplitterWindow(prnt) |
860 self.CodeEditorPanel.SetMinimumPaneSize(1) |
860 self.CodeEditorPanel.SetMinimumPaneSize(1) |
861 |
861 |
862 self.VariablesPanel = VariablesEditor(self.CodeEditorPanel, |
862 self.VariablesPanel = VariablesEditor(self.CodeEditorPanel, |
863 self.ParentWindow, self.Controler) |
863 self.ParentWindow, |
|
864 self.Controler) |
864 |
865 |
865 if self.CODE_EDITOR is not None: |
866 if self.CODE_EDITOR is not None: |
866 self.CodeEditor = self.CODE_EDITOR(self.CodeEditorPanel, |
867 self.CodeEditor = self.CODE_EDITOR(self.CodeEditorPanel, |
867 self.ParentWindow, self.Controler) |
868 self.ParentWindow, self.Controler) |
868 |
869 |
869 self.CodeEditorPanel.SplitHorizontally(self.VariablesPanel, |
870 self.CodeEditorPanel.SplitHorizontally(self.VariablesPanel, |
870 self.CodeEditor, 150) |
871 self.CodeEditor, 150) |
871 else: |
872 else: |
872 self.CodeEditorPanel.Initialize(self.VariablesPanel) |
873 self.CodeEditorPanel.Initialize(self.VariablesPanel) |
873 |
874 |
874 return self.CodeEditorPanel |
875 return self.CodeEditorPanel |
875 |
876 |