Full size is not full size
When I change the window size to full-size (not full-screen) some pixel gaps remain below the window. This can be quite confusing.
I tried to change the theme, but the error is not affected.
Linux adam-desktop 4.4.0-57-generic #78-Ubuntu SMP Fri Dec 9 23:50:32 UTC 2016 x86_64 x86_64 x86_64 GNU/Linux
Linux Mint 18 KDE 64-bit (16.04.3)
Desktop theme: https:/
Terminator installed from Ubuntu Software Center (0.98.1)