View Revisions: Note 111942

Summary 0034347: AnchorDocking feature (new button: size reduction of the panel)