|
Lines 1367-1380
selection_changed_callback (TerminalScre
Link Here
|
| 1367 |
} |
1367 |
} |
| 1368 |
|
1368 |
|
| 1369 |
static void |
1369 |
static void |
| 1370 |
close_button_clicked_cb (GtkWidget *widget, GtkWidget *screen) |
1370 |
close_button_clicked_cb (GtkWidget *widget, TerminalScreen *screen) |
| 1371 |
{ |
1371 |
{ |
| 1372 |
GtkWidget *notebook; |
1372 |
terminal_screen_close (screen); |
| 1373 |
guint page_num; |
|
|
| 1374 |
|
| 1375 |
notebook = gtk_widget_get_parent (GTK_WIDGET (screen)); |
| 1376 |
page_num = gtk_notebook_page_num (GTK_NOTEBOOK (notebook), screen); |
| 1377 |
gtk_notebook_remove_page (GTK_NOTEBOOK (notebook), page_num); |
| 1378 |
} |
1373 |
} |
| 1379 |
|
1374 |
|
| 1380 |
static void |
1375 |
static void |
|
Lines 1458-1465
terminal_window_add_screen (TerminalWind
Link Here
|
| 1458 |
if (old == window) |
1453 |
if (old == window) |
| 1459 |
return; |
1454 |
return; |
| 1460 |
|
1455 |
|
| 1461 |
g_object_ref (G_OBJECT (screen)); /* make our own new refcount */ |
|
|
| 1462 |
|
| 1463 |
if (old) |
1456 |
if (old) |
| 1464 |
terminal_window_remove_screen (old, screen); |
1457 |
terminal_window_remove_screen (old, screen); |
| 1465 |
|
1458 |
|
