Bug 379263 - Sometimes digits can't be typed
Summary: Sometimes digits can't be typed
Status: CONFIRMED
Alias: None
Product: kdevelop
Classification: Applications
Component: general (show other bugs)
Version: 5.1.0
Platform: Other Linux
: NOR normal
Target Milestone: ---
Assignee: kdevelop-bugs-null
URL:
Keywords:
Depends on:
Blocks:
 
Reported: 2017-04-26 19:40 UTC by Rolf Eike Beer
Modified: 2017-07-05 22:12 UTC (History)
3 users (show)

See Also:
Latest Commit:
Version Fixed In:
Sentry Crash Report:


Attachments

Note You need to log in before you can comment on or make changes to this bug.
Description Rolf Eike Beer 2017-04-26 19:40:47 UTC
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.
Comment 1 Sven Brauch 2017-04-26 20:30:21 UTC
Yes, true.
Comment 2 Ian H 2017-04-27 13:16:25 UTC
saving the file fixes this? i've always had to close down kdevelop to fix it here.
Comment 3 Rolf Eike Beer 2017-04-27 14:06:16 UTC
> saving the file fixes this? i've always had to close down kdevelop to 
> fix it
> here.

Yes, in all instances I can remember.
Comment 4 Nicolás Alvarez 2017-07-05 22:12:23 UTC
Sometimes typing in a different window and going back to KDevelop fixes it too.