Am Mon, Nov 10, 2003 at 05:36:59PM +0100 schrieb Frank de Lange und sprach:
Hi'all,
The next version (14) of my tab/frame/keyboard navigation patch is ready (see bottom of this message for download instructions).
Works very well. Here are the only things I noticed: If I have a site with frames and navigate around the history isn't updated properly. If you click back then you are on the site before. An additional history per frame would probably do it. Then you could go back in a frame using the popup menu. Using tabs the copy&paste just with selection is kind of weird. You can't select the directory in the location of a site and copy it to the location of a new tab (cos its the same widget). If you select some text in tab#1 you can't copy it to location#2. The following patch is useful if you have a lot of tabs. You can jump from the last to the first and vice versa (using shortcuts). Greets, Stephan --- commands.c.old 2003-11-10 18:37:54.000000000 +0100 +++ commands.c 2003-11-11 17:44:59.000000000 +0100 @@ -429,14 +429,22 @@ void a_Commands_save_link_callback(GtkWi /* VIEW MENU */ void a_Commands_tab_prev_callback(GtkWidget *widget, gpointer client_data) { - BrowserWindow *bw = (BrowserWindow *) client_data; - gtk_notebook_prev_page(GTK_NOTEBOOK(bw->container)); + BrowserWindow *bw = (BrowserWindow *) client_data; + if (gtk_notebook_get_current_page(GTK_NOTEBOOK(bw->container)) != 0) + gtk_notebook_prev_page(GTK_NOTEBOOK(bw->container)); + else + gtk_notebook_set_page(GTK_NOTEBOOK(bw->container), g_list_length(gtk_container_children(bw->container))-1); } void a_Commands_tab_next_callback(GtkWidget *widget, gpointer client_data) { - BrowserWindow *bw = (BrowserWindow *) client_data; - gtk_notebook_next_page(GTK_NOTEBOOK(bw->container)); + BrowserWindow *bw = (BrowserWindow *) client_data; + GtkNotebook *nb = GTK_NOTEBOOK(bw->container); + if (gtk_notebook_get_current_page(GTK_NOTEBOOK(bw->container)) + != g_list_length(gtk_container_children(bw->container))-1) + gtk_notebook_next_page(nb); + else + gtk_notebook_set_page(GTK_NOTEBOOK(bw->container), 0); } #endif