Commit 8348794a authored by Committed by Luca Barbato
Remove unused window()
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().
Showing with 0 additions and 91 deletions