gosling-lang/gosling.js

Clarify that the `'header'` mark is only for internal usage (e.g., `_header`?)

sehilyi opened this issue · 0 comments

The header mark is internally used to show title and subtitle.

// TODO: perhaps need to make this invisible to users
// being used to show title/subtitle internally
| 'header';

However, it is unclear if this is intended to be used by users or not.

We need to clarify that this is for the internal usage in the Gosling compiler.