TextViewer.py
changeset 699 649399ffdaf0
parent 696 8865c406f616
child 704 aca0c83ed82e
equal deleted inserted replaced
698:314af37f7db2 699:649399ffdaf0
   115                 event(self, function)
   115                 event(self, function)
   116     
   116     
   117     def _init_Editor(self, prnt):
   117     def _init_Editor(self, prnt):
   118         self.Editor = wx.stc.StyledTextCtrl(id=ID_TEXTVIEWERTEXTCTRL, 
   118         self.Editor = wx.stc.StyledTextCtrl(id=ID_TEXTVIEWERTEXTCTRL, 
   119                 parent=prnt, name="TextViewer", size=wx.Size(0, 0), style=0)
   119                 parent=prnt, name="TextViewer", size=wx.Size(0, 0), style=0)
       
   120         self.Editor.ParentWindow = self
   120         
   121         
   121         self.Editor.CmdKeyAssign(ord('+'), wx.stc.STC_SCMOD_CTRL, wx.stc.STC_CMD_ZOOMIN)
   122         self.Editor.CmdKeyAssign(ord('+'), wx.stc.STC_SCMOD_CTRL, wx.stc.STC_CMD_ZOOMIN)
   122         self.Editor.CmdKeyAssign(ord('-'), wx.stc.STC_SCMOD_CTRL, wx.stc.STC_CMD_ZOOMOUT)
   123         self.Editor.CmdKeyAssign(ord('-'), wx.stc.STC_SCMOD_CTRL, wx.stc.STC_CMD_ZOOMOUT)
   123         
   124         
   124         self.Editor.SetViewWhiteSpace(False)
   125         self.Editor.SetViewWhiteSpace(False)