• Romain Vimont's avatar
    Remove unused window() · 8348794a
    Romain Vimont authored
    FrameState::window() requires to copy all FrameState fields, which we
    don't necessary want to implement for new fields.
    In particular, when making RestorationState a FrameState field, we don't
    necessarily want to make it copyable.
    Since the method is unused, just remove it, along with Frame::window()
    and Plane::window().
plane.rs 11.2 KB