Am Dienstag, den 28.05.2019, 16:42 -0400 schrieb Richard Kimberly Heck: > > No, it is better to remove the shortcut from "Short Titles", since > > it > > will print annoying warnings on console. And it is useless to show > > a > > shortcut that does not really exist. > > Yes, I agree, but let's hear from Jürgen, perhaps.
Another option would be to rename the "List / TOC" entry. It's not a good naming anyway (the submenu includes BibTeX/BibLaTeX, which is not a List and even less a TOC). Jürgen
signature.asc
Description: This is a digitally signed message part
