>> > /** top margin of exported page*/
>> > int option_margin_top = DEFAULT_MARGIN_TOP_MM;
>> > /** bottom margin of exported page*/
>> > @@ -243,6 +246,8 @@
>> > { "scale", OPTION_INTEGER, &option_scale },
>> > { "incremental_reflow", OPTION_BOOL, &option_incremental_reflow },
>> > { "min_reflow_period", OPTION_INTEGER, &option_min_reflow_period },
>> > + { "recent_file", OPTION_STRING, &option_recent_file },
>> > + { "tree_icons_dir", OPTION_STRING, &option_tree_icons_dir },
>
> BTW, just curious, is option_tree_icons_dir used somewhere else ? As I
> don't see it in this patch and this option gets only added and initialised
> here but apparently nowhere used.
It is used in tree.c, I'm not sure if it was at the time of patch creation :)
