[konsole] [Bug 402864] extra pixel on top of tabs

2019-01-04 Thread Thomas Monjalon
https://bugs.kde.org/show_bug.cgi?id=402864 --- Comment #2 from Thomas Monjalon --- The bug was already open and it seems already fixed! Impressed :-) Thanks for the hard work KDE team, and happy New year -- You are receiving this mail because: You are watching all bug changes.

[konsole] [Bug 402864] extra pixel on top of tabs

2019-01-04 Thread Mariusz Glebocki
https://bugs.kde.org/show_bug.cgi?id=402864 Mariusz Glebocki changed: What|Removed |Added Resolution|--- |DUPLICATE CC|