I tried switching themes (but without restarting the browser) and this didn't make the tools menu appear.
How can I either make the 'tools' menu appear, or activate the extensions another way? The extension files are now available in /usr/lib/epiphany-1.4/extensions/.
thanks!
_______________________________________________ epiphany-list mailing list [email protected] http://mail.gnome.org/mailman/listinfo/epiphany-list
