| 3194 | | int k; |
|---|
| 3195 | | |
|---|
| 3196 | | gtk_widget_destroy (view->window); |
|---|
| 3197 | | gtk_widget_destroy (view->time_ruler); |
|---|
| 3198 | | gtk_widget_destroy (view->display); |
|---|
| 3199 | | gtk_widget_destroy (view->pos); |
|---|
| 3200 | | gtk_widget_destroy (view->status); |
|---|
| 3201 | | gtk_widget_destroy (view->menubar); |
|---|
| 3202 | | gtk_widget_destroy (view->menu); |
|---|
| 3203 | | gtk_widget_destroy (view->zoom_combo); |
|---|
| 3204 | | gtk_widget_destroy (view->progress); |
|---|
| 3205 | | gtk_widget_destroy (view->follow_toggle); |
|---|
| 3206 | | gtk_widget_destroy (view->play_pos); |
|---|
| 3207 | | gtk_widget_destroy (view->loop_toggle); |
|---|
| 3208 | | gtk_widget_destroy (view->playrev_toggle); |
|---|
| 3209 | | gtk_widget_destroy (view->play_toggle); |
|---|
| 3210 | | gtk_widget_destroy (view->play_sel_toggle); |
|---|
| 3211 | | gtk_widget_destroy (view->mute_toggle); |
|---|
| 3212 | | gtk_widget_destroy (view->monitor_toggle); |
|---|
| 3213 | | gtk_widget_destroy (view->menu_sel); |
|---|
| 3214 | | gtk_widget_destroy (view->menu_point); |
|---|
| 3215 | | gtk_widget_destroy (view->channelops_menuitem); |
|---|
| 3216 | | gtk_widget_destroy (view->channelops_submenu); |
|---|
| 3217 | | gtk_widget_destroy (view->follow_checkmenu); |
|---|
| 3218 | | |
|---|
| 3219 | | for (k = 0 ; k < VIEW_COLOR_MAX ; k++) |
|---|
| 3220 | | gtk_widget_destroy (view->color_menuitems [k]); |
|---|
| 3221 | | |
|---|
| 3222 | | gtk_widget_destroy (view->loop_checkmenu); |
|---|
| 3223 | | gtk_widget_destroy (view->playrev_checkmenu); |
|---|
| 3224 | | gtk_widget_destroy (view->mute_checkmenu); |
|---|
| 3225 | | gtk_widget_destroy (view->monitor_checkmenu); |
|---|
| | 3194 | |
|---|
| | 3195 | gtk_widget_destroy(view->window); |
|---|