Summary: | The keyboard shortcut F12 is used twice | ||
---|---|---|---|
Product: | [Applications] kdevelop | Reporter: | Jan Ekholm <chakie> |
Component: | general | Assignee: | KDevelop Developers <kdevelop-devel> |
Status: | RESOLVED FIXED | ||
Severity: | normal | ||
Priority: | NOR | ||
Version: | unspecified | ||
Target Milestone: | --- | ||
Platform: | Debian testing | ||
OS: | Linux | ||
Latest Commit: | Version Fixed In: | ||
Sentry Crash Report: |
Description
Jan Ekholm
2003-04-02 08:52:49 UTC
It's stupid of katepart to occupy an F-Key for a feature such as switching dynamic wrapping on and off, but we shouldn't collide with the editor we know 90% of our users will be using. Changed "switch" to Shift+F12 for now. |