3 [ "Property proxy API", "index.html", [
5 [ "File List", "files.html", "files" ],
6 [ "Globals", "globals.html", [
7 [ "All", "globals.html", null ],
8 [ "Variables", "globals_vars.html", null ],
9 [ "Macros", "globals_defs.html", null ]
20 var SYNCONMSG
= 'click to disable panel synchronisation';
21 var SYNCOFFMSG
= 'click to enable panel synchronisation';