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

Thomas Monjalon bugzilla_noreply at kde.org
Fri Jan 4 16:57:24 GMT 2019


https://bugs.kde.org/show_bug.cgi?id=402864

--- Comment #2 from Thomas Monjalon <thomas at monjalon.net> ---
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 the assignee for the bug.


More information about the konsole-devel mailing list