Summary: | Use standard KDE tab switching shortcuts | ||
---|---|---|---|
Product: | [Applications] kile | Reporter: | Nate Graham <nate> |
Component: | user interface | Assignee: | Michel Ludwig <michel.ludwig> |
Status: | RESOLVED DUPLICATE | ||
Severity: | wishlist | ||
Priority: | NOR | ||
Version: | 2.9.93 | ||
Target Milestone: | --- | ||
Platform: | Other | ||
OS: | Linux | ||
Latest Commit: | Version Fixed In: |
Description
Nate Graham
2020-11-29 23:38:37 UTC
Oops, there was an existing bug I already commented in lol *** This bug has been marked as a duplicate of bug 406836 *** |