GtkWidget *datasheet_vbox_widget; /* ->vbox child that holds data sheets. */
GtkWidget *data_sheets[4]; /* Normally one data sheet; four, if split. */
gboolean split; /* True if data sheets are split. */
/* UI manager for whichever var or data sheet is currently in use. */
GtkWidget *datasheet_vbox_widget; /* ->vbox child that holds data sheets. */
GtkWidget *data_sheets[4]; /* Normally one data sheet; four, if split. */
gboolean split; /* True if data sheets are split. */
/* UI manager for whichever var or data sheet is currently in use. */