This problem seems to be even worse with a 4K monitor set to 200% scaling. When I follow the procedure above with such a monitor, maximised terminal windows appear to end up twice the width and height of the screen. :(
This problem seems to be even worse with a 4K monitor set to 200% scaling. When I follow the procedure above with such a monitor, maximised terminal windows appear to end up twice the width and height of the screen. :(