Update: The problem can (at least sometimes, currently investigating) be fixed by maximizing, then un-maximizing the affected window and (possibly additionally necessary) resizing it. Will continue to investigate.
Update: The problem can (at least sometimes, currently investigating) be fixed by maximizing, then un-maximizing the affected window and (possibly additionally necessary) resizing it. Will continue to investigate.