+ @Override
+ public synchronized void setPinned(boolean pinned) {
+ super.setPinned(pinned);
+ boolean enabled = !pinned;
+
+ fTimeGraphCtrl.setPinned(pinned);
+ fTimeScaleCtrl.setPinned(pinned);
+ fMarkerAxisCtrl.setPinned(pinned);
+
+ fHorizontalScrollBar.setEnabled(enabled);
+ fHorizontalScrollBar.setVisible(enabled);
+
+ fMouseWheelListeners.setHorizontalScrollEnabled(enabled);
+ fMouseWheelListeners.setZoomEnabled(enabled);
+
+ fKeyListeners.setAllEnabled(enabled);
+
+ fMarkersMenu.setVisible(enabled);
+
+ if (enabled) {
+ fCurrentBookmark.clear();
+ fCurrentBookmark.addAll(fSyncedBookmark);
+ }
+
+ if (fResetScaleAction != null) {
+ fResetScaleAction.setEnabled(enabled);
+ }
+ if (fShowLegendAction != null) {
+ fShowLegendAction.setEnabled(enabled);
+ }
+ if (fNextEventAction != null) {
+ fNextEventAction.setEnabled(enabled);
+ }
+ if (fPrevEventAction != null) {
+ fPrevEventAction.setEnabled(enabled);
+ }
+ if (fNextItemAction != null) {
+ fNextItemAction.setEnabled(enabled);
+ }
+ if (fPreviousItemAction != null) {
+ fPreviousItemAction.setEnabled(enabled);
+ }
+ if (fZoomInAction != null) {
+ fZoomInAction.setEnabled(enabled);
+ }
+ if (fZoomOutAction != null) {
+ fZoomOutAction.setEnabled(enabled);
+ }
+ if (fHideArrowsAction != null) {
+ fHideArrowsAction.setEnabled(enabled);
+ }
+ if (fFollowArrowFwdAction != null) {
+ fFollowArrowFwdAction.setEnabled(enabled);
+ }
+ if (fFollowArrowBwdAction != null) {
+ fFollowArrowBwdAction.setEnabled(enabled);
+ }
+ if (fShowFilterDialogAction != null) {
+ fShowFilterDialogAction.setEnabled(enabled);
+ }
+ if (fToggleBookmarkAction != null) {
+ fToggleBookmarkAction.setEnabled(enabled);
+ }
+
+ fShowMarkerActionsEnabled = enabled;
+ fMarkersUpdateEnabled = enabled;
+ updateMarkerActions();
+ }
+