Project: Editra

Revision: 56092

Author: CJP

Date: 05 Oct 2008 12:36:30

• /wxPython/3rdParty/Editra/src/ed_search.py

  ......	@@ -883,7 +883,10 @@
  883	883	# Dont do search for navigation keys
  884	884	if tmp == wx.EmptyString or evt.CmdDown() or \
  885	885	e_key in [wx.WXK_COMMAND, wx.WXK_LEFT, wx.WXK_RIGHT,
  886		wx.WXK_UP, wx.WXK_DOWN]:
  	886	wx.WXK_UP, wx.WXK_DOWN, wx.WXK_F1, wx.WXK_F2,
  	887	wx.WXK_F3, wx.WXK_F4, wx.WXK_F5, wx.WXK_F6,
  	888	wx.WXK_F7, wx.WXK_F8, wx.WXK_F9, wx.WXK_F10,
  	889	wx.WXK_F11, wx.WXK_F12]:
  887	890	return
  888	891
  889	892	if e_key == wx.WXK_RETURN or e_key == wx.WXK_F3: