##// END OF EJS Templates
[/gui/wx/] cody precord : small patch for some changes and improvements to the ipython_view...
ldufrechou -
Show More
@@ -147,6 +147,7 b' class WxConsoleView(stc.StyledTextCtrl):'
147 self.SetBufferedDraw(True)
147 self.SetBufferedDraw(True)
148 #self.SetUseAntiAliasing(True)
148 #self.SetUseAntiAliasing(True)
149 self.SetLayoutCache(stc.STC_CACHE_PAGE)
149 self.SetLayoutCache(stc.STC_CACHE_PAGE)
150 self.SetUndoCollection(False)
150
151
151 self.EnsureCaretVisible()
152 self.EnsureCaretVisible()
152
153
@@ -538,7 +539,7 b' class IPShellWidget(wx.Panel):'
538
539
539 ### IPython wx console view instanciation ###
540 ### IPython wx console view instanciation ###
540 #If user didn't defined an intro text, we create one for him
541 #If user didn't defined an intro text, we create one for him
541 #If you really wnat an empty intrp just call wxIPythonViewPanel
542 #If you really wnat an empty intro just call wxIPythonViewPanel
542 #with intro=''
543 #with intro=''
543 if intro is None:
544 if intro is None:
544 welcome_text = "Welcome to WxIPython Shell.\n\n"
545 welcome_text = "Welcome to WxIPython Shell.\n\n"
@@ -555,10 +556,10 b' class IPShellWidget(wx.Panel):'
555
556
556 self.cout.write = self.text_ctrl.asyncWrite
557 self.cout.write = self.text_ctrl.asyncWrite
557
558
558 option_text = wx.StaticText(self,-1,'Options:')
559 option_text = wx.StaticText(self, -1, "Options:")
559 self.completion_option = wx.CheckBox(self, -1, "Scintilla completion")
560 self.completion_option = wx.CheckBox(self, -1, "Scintilla Completion")
560 self.completion_option.SetValue(False)
561 self.completion_option.SetValue(False)
561 self.background_option = wx.CheckBox(self, -1, "White background")
562 self.background_option = wx.CheckBox(self, -1, "White Background")
562 self.background_option.SetValue(False)
563 self.background_option.SetValue(False)
563
564
564 self.text_ctrl.Bind(wx.EVT_KEY_DOWN, self.keyPress)
565 self.text_ctrl.Bind(wx.EVT_KEY_DOWN, self.keyPress)
@@ -569,12 +570,13 b' class IPShellWidget(wx.Panel):'
569 sizer = wx.BoxSizer(wx.VERTICAL)
570 sizer = wx.BoxSizer(wx.VERTICAL)
570 sizer.Add(self.text_ctrl, 1, wx.EXPAND)
571 sizer.Add(self.text_ctrl, 1, wx.EXPAND)
571 option_sizer = wx.BoxSizer(wx.HORIZONTAL)
572 option_sizer = wx.BoxSizer(wx.HORIZONTAL)
572 sizer.Add(option_sizer,0)
573 sizer.Add(option_sizer, 0)
573 option_sizer.AddMany([(10,15),
574 option_sizer.AddMany([(10, 20),
574 option_text,
575 (option_text, 0, wx.ALIGN_CENTER_VERTICAL),
575 (20,15),
576 (5, 5),
576 self.completion_option,
577 (self.completion_option, 0, wx.ALIGN_CENTER_VERTICAL),
577 self.background_option,
578 (8, 8),
579 (self.background_option, 0, wx.ALIGN_CENTER_VERTICAL)
578 ])
580 ])
579 self.SetAutoLayout(True)
581 self.SetAutoLayout(True)
580 sizer.Fit(self)
582 sizer.Fit(self)
General Comments 0
You need to be logged in to leave comments. Login now