[kdevelop] [Bug 330202] Ctrl+Tab editor list: make wider

2018-12-01 Thread Gregor Mi
https://bugs.kde.org/show_bug.cgi?id=330202 Gregor Mi changed: What|Removed |Added Status|REPORTED|RESOLVED Resolution|---

[kdevelop] [Bug 330202] Ctrl+Tab editor list: make wider

2018-11-20 Thread Andrew Crouthamel
https://bugs.kde.org/show_bug.cgi?id=330202 Andrew Crouthamel changed: What|Removed |Added Resolution|WAITINGFORINFO |--- Status|NEEDSINFO

[kdevelop] [Bug 330202] Ctrl+Tab editor list: make wider

2018-11-10 Thread Andrew Crouthamel
https://bugs.kde.org/show_bug.cgi?id=330202 Andrew Crouthamel changed: What|Removed |Added Status|REPORTED|NEEDSINFO Resolution|---