Bug 402864 - extra pixel on top of tabs
Summary: extra pixel on top of tabs
Status: RESOLVED DUPLICATE of bug 402469
Alias: None
Product: konsole
Classification: Applications
Component: tabbar (show other bugs)
Version: 18.12.0
Platform: Arch Linux Linux
: NOR normal
Target Milestone: ---
Assignee: Konsole Developer
URL:
Keywords:
Depends on:
Blocks:
 
Reported: 2019-01-04 16:50 UTC by Thomas Monjalon
Modified: 2019-01-04 16:57 UTC (History)
1 user (show)

See Also:
Latest Commit:
Version Fixed In:
Sentry Crash Report:


Attachments

Note You need to log in before you can comment on or make changes to this bug.
Description Thomas Monjalon 2019-01-04 16:50:07 UTC
SUMMARY

This is an usability issue.

When the tabs are a the top of the window, without any window border,
an extra pixel line appeared on top of tabs in latest version (18.12?).
The consequence, when having the konsole window sticked to the top of the screen, is to make tab selection with mouse harder, because we cannot just move to the top of the screen with the mouse.


STEPS TO REPRODUCE
1. Open konsole without window border
2. Move the window to the top of the screen
3. Set the tab bar on top of the window
4. Open more than one tab
5. Move the mouse to the top of the screen for tab selection

OBSERVED RESULT

The tabs cannot be selected if mouse is at the top of the screen.
We need to go down by one or few pixels.

EXPECTED RESULT

In previous versions, it was very handy to select tabs in such configuration.

SOFTWARE/OS VERSIONS
KDE 18.12.0
Comment 1 Mariusz Glebocki 2019-01-04 16:53:18 UTC

*** This bug has been marked as a duplicate of bug 402469 ***
Comment 2 Thomas Monjalon 2019-01-04 16:57:24 UTC
The bug was already open and it seems already fixed!
Impressed :-)
Thanks for the hard work KDE team, and happy New year