Over the years I've created a small number of bug reports
https://www.lyx.org/trac/query?reporter=project_2501
However today I wanted to log into bug trac and create a new one but was
unable to.
Have accounts been disabled?
Anyway - I wanted to report that current lyx 2.3.8 on macos does not pick
up new language definition files for the TeX listings package. Several
online comments elsewhere suggest the list of languages in the lyx UI are
hardcoded. Overriding with "no language" and using "language={lean}" in the
advanced options with override checking does seem to work with some other
preamble hacks.
So my request rather than a bug is for Lyx to create its list from the
definition files when "Reconfigured".
---
for full detail here is what I did:
install lean listings style from
https://github.com/leanprover/lean4/blob/master/doc/latex/lstlean.tex
rename it to .sty and put it in
/usr/local/texlive/2024/texmf-dist/tex/latex/listings
update listings.cfg with
{lstlang0.sty,lstlang1.sty,lstlang2.sty,lstlang3.sty,lstlean.sty}
then run texhash as root
I also had to force enable amssymb because lean code uses unicode symbols
like ℝ regularly in its code
then as preamble
\usepackage{color}
\definecolor{keywordcolor}{rgb}{0.7, 0.1, 0.1} % red
\definecolor{tacticcolor}{rgb}{0.0, 0.1, 0.6} % blue
\definecolor{commentcolor}{rgb}{0.4, 0.4, 0.4} % grey
\definecolor{symbolcolor}{rgb}{0.0, 0.1, 0.6} % blue
\definecolor{sortcolor}{rgb}{0.1, 0.5, 0.1} % green
\definecolor{attributecolor}{rgb}{0.7, 0.1, 0.1} % red
--
lyx-users mailing list
lyx-users@lists.lyx.org
http://lists.lyx.org/mailman/listinfo/lyx-users
