Closed vlasakm closed 1 year ago
Consider the following example:
\fontfam[lm] \showlabels \label[sec:a] \sec A \bye
The printed label is black, evne though \showlabels defines the following font for printing the labels:
\showlabels
\_fontdef\_labelfont{\_setfontsize{at10pt}\setfontcolor{blue}\_tt}
First, this uses the luaotfload font attributes, which the OpTeX documentation marks as obsolete. Not sure if we want to change this.
Second, the coloring doesn't work and this is a problem in OpTeX's Lua code.
Consider the following example:
The printed label is black, evne though
\showlabels
defines the following font for printing the labels:First, this uses the luaotfload font attributes, which the OpTeX documentation marks as obsolete. Not sure if we want to change this.
Second, the coloring doesn't work and this is a problem in OpTeX's Lua code.