Polyspace デスクトップ ユーザー インターフェイスのレイアウトの編成
Polyspace® ユーザー インターフェイスには、既定のペイン レイアウトが 2 種類あります。
プロジェクトの設定用の既定のレイアウトでは、次のペインが配置されます。
| プロジェクト ブラウザー | 構成 |
| 出力の概要 |
結果のレビュー用の既定のレイアウトでは、次のペインが配置されます。
| 結果のリスト | 結果の詳細 |
| ダッシュボード |
独自のペイン レイアウトを作成して保存できます。ユーザー インターフェイスの現在のレイアウトが必要としているものと一致しない場合は、保存されたレイアウトを使用できます。
Polyspace ユーザー インターフェイスの既定のレイアウトのいずれかに変更することもできます。[ウィンドウ] 、 [レイアウトのリセット] 、 [プロジェクトの設定] または [ウィンドウ] 、 [レイアウトのリセット] 、 [結果のレビュー] を選択します。
独自のレイアウトの作成
独自のレイアウトを作成するには、いくつかのペインを閉じ、既定では表示されないいくつかのペインを開いてから、存在するペインを新規の位置に移動します。
閉じたペインを開くには、[ウィンドウ] 、 [ビューの表示/非表示] 、 [pane_name] を選択します。
ペインを別の位置に移動するには、次のようにします。
次の 3 つの方法のいずれかで、ペインを重ねて表示します。
ペイン上端の青いバーをクリックしてドラッグし、そのペインのすべてのタブを重ねて表示します。
たとえば、[プロジェクト ブラウザー] と [結果のリスト] のタブが同じペインに付いている場合、この操作により、当該ペインがそのタブと共に重ねて表示されます。
ペインの下端でタブをクリックしてドラッグし、そのタブのみを重ねて表示します。
たとえば、[プロジェクト ブラウザー] と [結果のリスト] のタブが同じペインに付いている場合、[プロジェクト ブラウザー] をドラッグアウトすると、[プロジェクト ブラウザー] のみが付いているペインが作成され、この新規ペインが重ねて表示されます。
ペイン右上の
をクリックして、そのペインのすべてのタブを重ねて表示します。
ペインを別の位置にドラッグし、新規の位置にスナップインさせます。
ペインをその元の位置に置くには、重ねて表示されているペインの右上端にある
をクリックします。
たとえば、結果のレビュー用の独自のレイアウトを作成できます。
レイアウトの保存とリセット
独自のレイアウトを作成したら、それを保存します。別のレイアウトから、保存した当該レイアウトに変更できます。
レイアウトを保存するには、[ウィンドウ] 、 [現在のレイアウトに名前を付けて保存] を選択します。このレイアウトの名前を入力します。
保存したレイアウトを使用するには、[ウィンドウ] 、 [レイアウトのリセット] 、 [
layout_name] を選択します。保存したレイアウトを [レイアウトのリセット] リストから削除するには、[ウィンドウ] 、 [カスタム レイアウトの削除] 、 [
layout_name] を選択します。
