Davide P. Cervone 4a92b6c4cb Tie checking for menu settings to Cookie event so that it occurs after the cookie is read		2011-02-25 14:47:32 -05:00
..
config	Add CombineConfig() routine to combine default configuration with user configuration, and insert signal hooks to do synchronize configuration (for use with combined configuration files)	2011-02-21 14:39:15 -05:00
extensions	Add CombineConfig() routine to combine default configuration with user configuration, and insert signal hooks to do synchronize configuration (for use with combined configuration files)	2011-02-21 14:39:15 -05:00
jax	Tie checking for menu settings to Cookie event so that it occurs after the cookie is read	2011-02-25 14:47:32 -05:00
MathJax.js	Add CombineConfig() routine to combine default configuration with user configuration, and insert signal hooks to do synchronize configuration (for use with combined configuration files)	2011-02-21 14:39:15 -05:00