Ticket #2279: activation-channel-object-names.patch

File activation-channel-object-names.patch, 1.6 KB (added by deni, 15 years ago)

  • src/main/java/org/sophie2/main/func/timelines/TimelinesPalette.java 

    ### Eclipse Workspace Patch 1.0
#P org.sophie2.main.func.timelines
     
    4040import org.sophie2.base.media.MediaState; 
    4141import org.sophie2.base.media.TimePos; 
    4242import org.sophie2.base.media.TimePos.Phase; 
    43 import org.sophie2.base.model.book.BookH; 
    4443import org.sophie2.base.model.book.ElementH; 
    4544import org.sophie2.base.model.book.timelines.ActivationChannel; 
    4645import org.sophie2.base.model.book.timelines.Channel; 
    … …  
    556555 
    557556                        @Override 
    558557                        protected void destroy(JPanel res) { 
    559                                 // TODO 
     558                                // do nothing 
    560559                        } 
    561560 
    562561                        @Override 
    … …  
    603602                         
    604603                        private String getChannelLabel(Channel<?, ?> channel) { 
    605604                                if (ActivationChannel.class.isInstance(channel)) { 
    606                                         BookH book =  
    607                                                 AppViewUtil.getCurrentBook(TimelinesPalette.this); 
     605                                 
     606                                        ResourceRefR4 ref = ActivationChannel.class.cast(channel).getElementResource(); 
    608607                                         
    609                                         ResourceRefR4 ref = ActivationChannel.class.cast( 
    610                                                                 channel).getElementResource(); 
    611                                          
    612                                         if (book != null) { 
    613                                                 ResourceAccess access = book.getAccess().open(ref, null); 
     608                                        if (elementView().get() != null) { 
     609                                                ResourceAccess access = elementView().get().getAccess().open(ref, null); 
    614610                                                return channel.getName() + ResourceR4.KEY_TITLE.get(access); 
    615611                                        } 
    616612                                }