diff -ur galeon-2.0.7.nojsconsole/mozilla/mozilla-embed-shell.cpp galeon-2.0.7.nojavaconsole/mozilla/mozilla-embed-shell.cpp --- galeon-2.0.7.nojsconsole/mozilla/mozilla-embed-shell.cpp 2009-11-20 12:48:12.000000000 +0200 +++ galeon-2.0.7.nojavaconsole/mozilla/mozilla-embed-shell.cpp 2009-11-20 12:49:51.000000000 +0200 @@ -62,7 +62,6 @@ #include #include #include -#include #include #include #include @@ -118,8 +117,6 @@ MozillaEncodings *encodings; }; -static NS_DEFINE_CID(kJVMManagerCID, NS_JVMMANAGER_CID); - G_DEFINE_TYPE (MozillaEmbedShell, mozilla_embed_shell, GALEON_TYPE_EMBED_SHELL); static gboolean @@ -514,11 +511,6 @@ static void impl_show_java_console (GaleonEmbedShell *shell) { - nsCOMPtr JVMManager = do_GetService (kJVMManagerCID); - if (JVMManager) - { - JVMManager->ShowJavaConsole (); - } } static GaleonEncodings * diff -ur galeon-2.0.7.nojsconsole/ui/galeon-egg-ui.xml galeon-2.0.7.nojavaconsole/ui/galeon-egg-ui.xml --- galeon-2.0.7.nojsconsole/ui/galeon-egg-ui.xml 2009-11-20 12:48:12.000000000 +0200 +++ galeon-2.0.7.nojavaconsole/ui/galeon-egg-ui.xml 2009-11-20 12:49:59.000000000 +0200 @@ -76,8 +76,6 @@ - -