Re: INFO_CONFIG and info.js customization

[Gavin Smith]

On Sat, Nov 07, 2020 at 03:43:30PM -0800, Per Bothner wrote:

> My suggestion is to flatten the config structure:
> 
>   var config = {
>     EXT: ".html",
>     INDEX_NAME: "index.html",
>     INDEX_ID: "index",
>     MAIN_ANCHORS: ["Top", "SEC_Contents"],
>     WARNING_TIMEOUT: 3000,
>     SCREEN_MIN_WIDTH: 700,
> 
>     // hooks:
>     /** Define a function called after 'DOMContentLoaded' event in
>         the INDEX_NAME context.
>         @type {function (): void}*/
>     on_main_load: null,
>     /** Define a function called after 'DOMContentLoaded' event in
>         the iframe context.
>         @type {(function (): void)} */
>     on_iframe_load: null
>   };
> 
> Alternatively, we can replace the Object.assign call with something
> that will also merge the hooks field.

Either option is fine with me; please go ahead and make the change
for whatever you make work.