Skip to content

Double-clicking on the border can undo a maximization. #1228

Double-clicking on the border can undo a maximization.

Double-clicking on the border can undo a maximization. #1228