For yet unknown reasons (i.e. I have no known trigger yet) sometimes I can't type digits anymore, while everything else works fine. Saving the currently edited file immediately fixes it.
Yes, true.
saving the file fixes this? i've always had to close down kdevelop to fix it here.
> saving the file fixes this? i've always had to close down kdevelop to > fix it > here. Yes, in all instances I can remember.
Sometimes typing in a different window and going back to KDevelop fixes it too.