##// END OF EJS Templates
Make pageup work.
Gael Varoquaux -
Show More
@@ -236,12 +236,6 b' class ConsoleWidget(editwindow.EditWindow):'
236 self.CmdKeyAssign(ord('='), stc.STC_SCMOD_CTRL|stc.STC_SCMOD_SHIFT,
236 self.CmdKeyAssign(ord('='), stc.STC_SCMOD_CTRL|stc.STC_SCMOD_SHIFT,
237 stc.STC_CMD_ZOOMIN)
237 stc.STC_CMD_ZOOMIN)
238
238
239 #self.CmdKeyAssign(stc.STC_KEY_PRIOR, stc.STC_SCMOD_SHIFT,
240 # stc.STC_CMD_PAGEUP)
241
242 #self.CmdKeyAssign(stc.STC_KEY_NEXT, stc.STC_SCMOD_SHIFT,
243 # stc.STC_CMD_PAGEDOWN)
244
245 # Keys: we need to clear some of the keys the that don't play
239 # Keys: we need to clear some of the keys the that don't play
246 # well with a console.
240 # well with a console.
247 self.CmdKeyClear(ord('D'), stc.STC_SCMOD_CTRL)
241 self.CmdKeyClear(ord('D'), stc.STC_SCMOD_CTRL)
@@ -319,9 +313,9 b' class ConsoleWidget(editwindow.EditWindow):'
319 self.scroll_to_bottom()
313 self.scroll_to_bottom()
320 elif event.KeyCode == ord('K') and event.ControlDown() :
314 elif event.KeyCode == ord('K') and event.ControlDown() :
321 self.input_buffer = ''
315 self.input_buffer = ''
322 elif event.KeyCode == wx.WXK_PAGEUP and event.ShiftDown():
316 elif event.KeyCode == wx.WXK_PAGEUP:
323 self.ScrollPages(-1)
317 self.ScrollPages(-1)
324 elif event.KeyCode == wx.WXK_PAGEDOWN and event.ShiftDown():
318 elif event.KeyCode == wx.WXK_PAGEDOWN:
325 self.ScrollPages(1)
319 self.ScrollPages(1)
326 elif event.KeyCode == wx.WXK_UP and event.ShiftDown():
320 elif event.KeyCode == wx.WXK_UP and event.ShiftDown():
327 self.ScrollLines(-1)
321 self.ScrollLines(-1)
General Comments 0
You need to be logged in to leave comments. Login now