@Test @SuppressWarnings("unchecked") public void testClose() { tested.show(session); tested.close(); verify(sessionPreview, times(1)).destroy(); }
public void close() { closeTreeExplorer(); closePreview(); }
DiagramEditorExplorerScreen { public void close() { closeTreeExplorer(); closePreview(); } }
DiagramEditorExplorerScreen { public void close() { closeTreeExplorer(); closePreview(); } protected  DiagramEditorExplorerScreen(); @Inject  DiagramEditorExplorerScreen(final SessionManager clientSessionManager,
                                       final @Any ManagedInstance<TreeExplorer> treeExplorers,
                                       final Event<ChangeTitleWidgetEvent> changeTitleNotificationEvent,
                                       final @Any @Default ManagedInstance<SessionDiagramPreview<AbstractSession>> sessionPreviews,
                                       final ErrorPopupPresenter errorPopupPresenter,
                                       final View view,
                                       final Event<ScreenPreMaximizedStateEvent> screenStateEvent); }
DiagramEditorExplorerScreen { public void close() { closeTreeExplorer(); closePreview(); } protected  DiagramEditorExplorerScreen(); @Inject  DiagramEditorExplorerScreen(final SessionManager clientSessionManager,
                                       final @Any ManagedInstance<TreeExplorer> treeExplorers,
                                       final Event<ChangeTitleWidgetEvent> changeTitleNotificationEvent,
                                       final @Any @Default ManagedInstance<SessionDiagramPreview<AbstractSession>> sessionPreviews,
                                       final ErrorPopupPresenter errorPopupPresenter,
                                       final View view,
                                       final Event<ScreenPreMaximizedStateEvent> screenStateEvent); @OnStartup void onStartup(final PlaceRequest placeRequest); @OnOpen void onOpen(); @OnClose void onClose(); @WorkbenchPartTitle String getTitle(); @WorkbenchPartView IsWidget getWidget(); @WorkbenchContextId String getMyContextRef(); void show(final ClientSession session); void close(); }
DiagramEditorExplorerScreen { public void close() { closeTreeExplorer(); closePreview(); } protected  DiagramEditorExplorerScreen(); @Inject  DiagramEditorExplorerScreen(final SessionManager clientSessionManager,
                                       final @Any ManagedInstance<TreeExplorer> treeExplorers,
                                       final Event<ChangeTitleWidgetEvent> changeTitleNotificationEvent,
                                       final @Any @Default ManagedInstance<SessionDiagramPreview<AbstractSession>> sessionPreviews,
                                       final ErrorPopupPresenter errorPopupPresenter,
                                       final View view,
                                       final Event<ScreenPreMaximizedStateEvent> screenStateEvent); @OnStartup void onStartup(final PlaceRequest placeRequest); @OnOpen void onOpen(); @OnClose void onClose(); @WorkbenchPartTitle String getTitle(); @WorkbenchPartView IsWidget getWidget(); @WorkbenchContextId String getMyContextRef(); void show(final ClientSession session); void close(); static final String SCREEN_ID; static final String TITLE; static final int PREVIEW_WIDTH; static final int PREVIEW_HEIGHT; }