Polyspace® пользовательский интерфейс имеет две раскладки по умолчанию панелей.
Для настройки проекта раскладки по умолчанию имеет следующее расположение панелей:
Project Browser | Configuration |
Output Summary |
Для анализа результатов раскладки по умолчанию имеет следующее расположение панелей:
Results List | Result Details |
Dashboard |
Вы можете создать и сохранить своё собственное размещение панелей. Если текущее размещение пользовательского интерфейса не соответствует вашим требованиям, можно использовать сохранённое размещение.
Можно также переключиться на один из раскладок по умолчанию пользовательского интерфейса Polyspace. Выберите Window > Reset Layout > Project Setup или Window > Reset Layout > Results Review.
Чтобы создать собственное размещение, можно закрыть некоторые панели, открыть некоторые панели, которые по умолчанию не видны, и переместить существующие панели в новые местоположения.
Чтобы открыть закрытую панель, выберите Window > Show/Hide View > pane_name
.
Перемещение панели в другое место:
Постройте панель одним из трех способов:
Щелкните и перетащите синюю полосу в верхней части панели, чтобы переместить все вкладки на этой панели.
Например, если Project Browser и Results List вкладки на одной панели, это действие плавает панель вместе с ее вкладками.
Щелкните и перетащите вкладку в нижней части панели, чтобы переместить только эту вкладку.
Например, если Project Browser и Results List вкладки на одной панели, перетаскивание Project Browser создает панель с только Project Browser на ней и плавает эту новую панель.
Щелкните в правом верхнем углу панели, чтобы переместить все вкладки на этой панели.
Перетащите панель в другое место, пока она не будет привязана к новому положению.
Если необходимо поместить панель в исходное положение, щелкните в правом верхнем углу плавающей панели.
Например, можно создать собственное размещение для просмотра результатов.
После создания собственного размещения его можно сохранить. Вы можете перейти от другого размещения к этому сохранённому размещению.
Чтобы сохранить размещение, выберите Window > Save Current Layout As. Введите имя для этого размещения.
Чтобы использовать сохранённое размещение, выберите Window > Reset Layout > layout_name
.
Чтобы удалить сохранённое размещение из списка Reset Layout, выберите Window > Remove Custom Layout > layout_name
.