ヒストリードック

このセクションでは、歴史的なドックについて説明する。

履歴ドック（図1 ）には、実行されたすべてのアクション（移動、サイズ変更、削除、コピー/切り取り/貼り付け、ウィジェットのプロパティ変更）が表示されます。履歴ドックで目的のアクションをクリックすると、パネルはそのアクション実行後の状態に戻ります。