Save/Restore DocTabView's splitter