Agreed; the behaviour of this border on Windows is precisely the opposite of how Windows itself has rendered window chrome since its beginning: maximized windows intentionally lose their border, while non-maximized windows have a border.This is very ...
