Summary: | lose mouse pointer after changing the desktop | ||
---|---|---|---|
Product: | [Developer tools] kdevplatform | Reporter: | jan <jhohe> |
Component: | editor integration | Assignee: | KDevelop Developers <kdevelop-devel> |
Status: | RESOLVED DUPLICATE | ||
Severity: | normal | ||
Priority: | NOR | ||
Version: | unspecified | ||
Target Milestone: | --- | ||
Platform: | Unlisted Binaries | ||
OS: | Linux | ||
Latest Commit: | Version Fixed In: | ||
Sentry Crash Report: |
Description
jan
2003-09-17 10:23:57 UTC
|