1 | <html>
|
---|
2 | <head>
|
---|
3 | <title>YWMS plugin configuration</title>
|
---|
4 | <script type="text/javascript">
|
---|
5 | function configure()
|
---|
6 | {
|
---|
7 | // Require privileges to change configuration
|
---|
8 | netscape.security.PrivilegeManager.enablePrivilege("UniversalXPConnect UniversalPreferencesWrite UniversalPreferencesRead");
|
---|
9 | var prefs = Components.classes["@mozilla.org/preferences-service;1"].getService(Components.interfaces.nsIPrefBranch);
|
---|
10 | var ok = true;
|
---|
11 |
|
---|
12 | // when this properties are created with "string" instead of "boolean", it throws an error
|
---|
13 | // Jus delete the profile and create again.
|
---|
14 | try
|
---|
15 | {
|
---|
16 | // Enable dump to console
|
---|
17 | prefs.setBoolPref("browser.dom.window.dump.enabled", true);
|
---|
18 | // navigator.preference("browser.dom.window.dump.enabled", true);
|
---|
19 | }
|
---|
20 | catch(err)
|
---|
21 | {
|
---|
22 | ok = false;
|
---|
23 | alert( "Error setting 'browser.dom.window.dump.enabled'=true :" + err );
|
---|
24 | }
|
---|
25 |
|
---|
26 | try
|
---|
27 | {
|
---|
28 | // Disable resume from crash
|
---|
29 | prefs.setBoolPref("browser.sessionstore.resume_from_crash",false);
|
---|
30 | // navigator.preference("browser.sessionstore.resume_from_crash", "false");
|
---|
31 | }
|
---|
32 | catch(err)
|
---|
33 | {
|
---|
34 | ok = false;
|
---|
35 | alert( "Error setting 'browser.sessionstore.resume_from_crash'=false :" + err );
|
---|
36 | }
|
---|
37 |
|
---|
38 | if( ok )
|
---|
39 | {
|
---|
40 | document.getElementById("closeMsg").style.visibility = "inherit";
|
---|
41 | document.getElementById("errorMsg").style.visibility = "hidden";
|
---|
42 | } // Seems that both configuration changes need differente ways of modification. Some mozilla bug??
|
---|
43 |
|
---|
44 | else
|
---|
45 | {
|
---|
46 | document.getElementById("closeMsg").style.visibility = "hidden";
|
---|
47 | document.getElementById("errorMsg").style.visibility = "inherit";
|
---|
48 | }
|
---|
49 | }
|
---|
50 | </script>
|
---|
51 |
|
---|
52 | </head>
|
---|
53 |
|
---|
54 | <body>
|
---|
55 | <h2>YWMS Plugin configuration</h2>
|
---|
56 |
|
---|
57 | The configuration of the profile needs some extra modifications of the
|
---|
58 | browser profile:
|
---|
59 | <ol>
|
---|
60 | <li><h4>The Javascript method <i>dump</i> must be active.</h4>
|
---|
61 | This method allows Javascrip code to write data to the output stream of the browser,
|
---|
62 | and can be activated with the config option <i>browser.dom.window.dump.enabled</i>.</li><br>
|
---|
63 | <li><h4>Session recovery must be inactive</h4>
|
---|
64 | Session crash recovery will try to reopen the pages you were viewing before a browser crash,
|
---|
65 | but for this JOSM plugin, this feature is not useful. This feature can be deactivated
|
---|
66 | with the config option <i>browser.sessionstore.resume_from_crash</i>
|
---|
67 | </li>
|
---|
68 | </ol>
|
---|
69 |
|
---|
70 | These configuration properties can be modified automatically just clicking in the button below,
|
---|
71 | that will ask for permissions to do so. Just accept to allow the modifications.
|
---|
72 | <br>
|
---|
73 | <br>
|
---|
74 | <button type="button" name="configure" value="Configure" onClick="configure()">Make changes</button>
|
---|
75 | <br>
|
---|
76 | <br>
|
---|
77 | <div id="closeMsg" style="visibility:hidden;"><blink>Close this browser window to start using JOSM with the YWMS plugin</blink></div>
|
---|
78 | <div id="errorMsg" style="visibility:hidden;"><blink>Configuration properties not properly modified.</blink></div>
|
---|
79 |
|
---|
80 | </body>
|
---|
81 | </html>
|
---|