1 diff -ur galeon-2.0.7.nojsconsole/mozilla/mozilla-embed-shell.cpp galeon-2.0.7.nojavaconsole/mozilla/mozilla-embed-shell.cpp
2 --- galeon-2.0.7.nojsconsole/mozilla/mozilla-embed-shell.cpp 2009-11-20 12:48:12.000000000 +0200
3 +++ galeon-2.0.7.nojavaconsole/mozilla/mozilla-embed-shell.cpp 2009-11-20 12:49:51.000000000 +0200
7 #include <nsIIOService.h>
8 -#include <nsIJVMManager.h>
9 #include <nsIFontEnumerator.h>
10 #include <nsISupportsPrimitives.h>
11 #include <nsIPermissionManager.h>
13 MozillaEncodings *encodings;
16 -static NS_DEFINE_CID(kJVMManagerCID, NS_JVMMANAGER_CID);
18 G_DEFINE_TYPE (MozillaEmbedShell, mozilla_embed_shell, GALEON_TYPE_EMBED_SHELL);
23 impl_show_java_console (GaleonEmbedShell *shell)
25 - nsCOMPtr<nsIJVMManager> JVMManager = do_GetService (kJVMManagerCID);
28 - JVMManager->ShowJavaConsole ();
32 static GaleonEncodings *
33 diff -ur galeon-2.0.7.nojsconsole/ui/galeon-egg-ui.xml galeon-2.0.7.nojavaconsole/ui/galeon-egg-ui.xml
34 --- galeon-2.0.7.nojsconsole/ui/galeon-egg-ui.xml 2009-11-20 12:48:12.000000000 +0200
35 +++ galeon-2.0.7.nojavaconsole/ui/galeon-egg-ui.xml 2009-11-20 12:49:59.000000000 +0200
37 <separator name="WSep3" />
38 <menuitem name="WebAllowJava" action="WebAllowJavaAction" />
39 <menuitem name="WebAllowJS" action="WebAllowJSAction" />
40 - <separator name="WSep4" />
41 - <menuitem name="WebJSConsole" action="WebJSConsoleAction" />
43 <menu name="Go" action="GoMenuAction">
44 <menuitem name="GoBack" action="GoBack" />