90: Fokus in Baumstruktur mit Fokus bei geöffneten Tabs synchronisieren

[msrocka]

Wenn man zu einem bestimmten Tab wechselt, sollte das jeweilige Element in der Navigation ausgewählt werden.

Am besten in Navigator.initListeners:

@Override
protected void initListeners(TreeViewer viewer) {
  super.initListeners(viewer);
  // ...
  PlatformUI.getWorkbench().getActiveWorkbenchWindow()
    .getActivePage().addPartListener(new IPartListener() {
       // ...
      @Override
      public void partActivated(IWorkbenchPart part) {
         // check -> editor? editoinput -> model+ID -> select element