[Texmacs-dev] About header-article.ts

[Nicolas Girard]

Hi,
The file "header-article.ts" contains the definition of the 
macro "header-primary" whose role is to change the page headers.

"header-primary" directly alters the values of "page-odd-header" 
and "page-even-header", whereas std-utils defines 2 macros dedicated to this 
use, namely "set-odd-page-header" and "set-even-page-header".

It seems to me that allowing "header-primary" to use these macros would
1) make header handling more consistent and easier to understand
2) allow to benefit from the additional informative flags set by these macros

Any opinion ?
Cheers,
Nicolas