+ /* The "switch-page" signal does get emitted unless the page actually
+ changes. But the state is indeterminate at startup. Therefore we
+ must explicitly change it to one state, then the other */
+ data_editor_select_sheet (de, PAGE_VAR_SHEET);
+ data_editor_select_sheet (de, PAGE_DATA_SHEET);