Some tweaks for wxTimeCtrl for wxGTK

git-svn-id: https://svn.wxwidgets.org/svn/wx/wxWidgets/branches/WX_2_4_BRANCH@17370 c3d73ce0-8a6f-49c7-b76d-6d57e0e08775
This commit is contained in:
Robin Dunn
2002-09-24 18:09:21 +00:00
parent 28825fa22a
commit 33ed3832af

View File

@@ -296,6 +296,7 @@ class wxTimeCtrl(wxTextCtrl):
"""
_dbg('wxTimeCtrl::OnFocus')
wxCallAfter(self.__FixSelection)
event.Skip()
def __FixSelection(self):
@@ -591,6 +592,7 @@ class wxTimeCtrl(wxTextCtrl):
_dbg(indent=1)
self.IncrementCell(key, pos)
self.SetInsertionPoint(pos)
_dbg(indent=0)
else:
if key == WXK_UP: inc = 1
@@ -620,6 +622,7 @@ class wxTimeCtrl(wxTextCtrl):
_dbg(indent=1)
_dbg("new digit = \'%s\'" % digit)
self.ChangeValue(digit, pos)
self.SetInsertionPoint(pos)
_dbg(indent=0)