View Revisions: Note 111912

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