equal
deleted
inserted
replaced
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) |