| Summary: | Sometimes digits can't be typed | ||
|---|---|---|---|
| Product: | [Applications] kdevelop | Reporter: | Rolf Eike Beer <kde> |
| Component: | general | Assignee: | kdevelop-bugs-null |
| Status: | CONFIRMED --- | ||
| Severity: | normal | CC: | mail, master.haber, nalvarez |
| Priority: | NOR | ||
| Version First Reported In: | 5.1.0 | ||
| Target Milestone: | --- | ||
| Platform: | Other | ||
| OS: | Linux | ||
| Latest Commit: | Version Fixed/Implemented In: | ||
| Sentry Crash Report: | |||
|
Description
Rolf Eike Beer
2017-04-26 19:40:47 UTC
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. |