</object>
</child>
<child>
- <object class="GtkAction" id="view_data">
+ <object class="GtkRadioAction" id="view_data">
<property name="name">view_data</property>
<property name="label" translatable="yes">_Data</property>
</object>
</child>
<child>
- <object class="GtkAction" id="view_variables">
+ <object class="GtkRadioAction" id="view_variables">
<property name="name">view_variables</property>
<property name="label" translatable="yes">_Variables</property>
+ <property name="group">view_data</property>
</object>
</child>
<child>
switch (page_num)
{
case PSPPIRE_DATA_EDITOR_VARIABLE_VIEW:
- gtk_widget_hide (view_variables);
- gtk_widget_show (view_data);
+ gtk_check_menu_item_set_active (GTK_CHECK_MENU_ITEM (view_variables),
+ TRUE);
gtk_action_set_sensitive (de->insert_variable, TRUE);
gtk_action_set_sensitive (de->insert_case, FALSE);
gtk_action_set_sensitive (de->invoke_goto_dialog, FALSE);
break;
case PSPPIRE_DATA_EDITOR_DATA_VIEW:
- gtk_widget_show (view_variables);
- gtk_widget_hide (view_data);
+ gtk_check_menu_item_set_active (GTK_CHECK_MENU_ITEM (view_data), TRUE);
gtk_action_set_sensitive (de->invoke_goto_dialog, TRUE);
gtk_action_set_sensitive (de->insert_case, TRUE);
break;