Ticket #2364: resizing-frame-deletes-location-channel.patch

src/main/java/org/sophie2/main/app/commons/frame/FrameLogic.java

@@ -9 +9 @@
 import org.sophie2.base.commons.util.position.ImmVector;
 import org.sophie2.base.commons.util.position.Position;
 import org.sophie2.base.commons.util.position.Position.Pos1D;
+import org.sophie2.base.media.TimePos;
 import org.sophie2.base.model.book.FrameH;
 import org.sophie2.base.model.book.frame.FrameR4;
 import org.sophie2.base.model.book.interfaces.MemberElement;
@@ -86 +87 @@
                                         final ImmSize newSize = ResizableElement.KEY_SIZE.get(access);
                                         final ImmPoint newLocation = 
                                                 MemberElement.KEY_LOCATION.get(access).getValue(elementView.getTime());
+                                        final TimePos time = elementView.getTime();     
                                         
                                         new AutoAction("Element resize.", true) {
 
@@ -94 +96 @@
                                                         ResourceChanger ch = getChanger();
 
                                                         ch.setRaw(ResizableElement.KEY_SIZE, newSize);
-                                                        ch.setRaw(MemberElement.KEY_LOCATION, oldChannel.setAll(newLocation));
+                                                        ch.setRaw(MemberElement.KEY_LOCATION, 
+                                                                        oldChannel.setValue(time, newLocation));
                                                 }
                                         }.register(access);
                                 }
@@ -108 +111 @@
                                 
                                 private void doMove(final LocationChannel oldChannel,
                                                 final ImmPoint newLocationInPage, final ImmSize newSize) {
+                                        final TimePos time = elementView.getTime();                                     
                                         new AutoAction("Frame resize", false) {
                                                 @Override
                                                 public void performAuto() {
                                                         ResourceChanger ch = getChanger();
 
                                                         ch.setRaw(ResizableElement.KEY_SIZE, newSize);
-                                                        ch.setRaw(MemberElement.KEY_LOCATION, oldChannel
-                                                                        .setAll(newLocationInPage));
+                                                        ch.setRaw(MemberElement.KEY_LOCATION, 
+                                                                        oldChannel.setValue(time, newLocationInPage));
                                                 }
                                         }.register(access);
                                 }