On 5/28/19 8:02 AM, Jean-Marc Lasgouttes wrote: > Le 28/05/2019 à 13:29, Pavel Sanda a écrit : >> On Mon, May 27, 2019 at 11:54:14PM -0400, Richard Kimberly Heck wrote: >>> The argument "Short Title" seems to have the same shortcut as "List / >>> TOC", so we get a warning to that effect when e.g. in a section heading >>> and opening the Insert menu. >>> >>> I don't know if we need to do anything about that or not, but it always >>> seems to go to the List, since that's a menu. >> >> I would leave it as it is. P > > 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. > PS: the purpose of these warnings is to be a bit annoying, but we > could easily decide to print them only in developer mode, for example. > That would be less annoying for plain users, but not as hidden as > placing this in some debug channel. I'm not sure how many users rum from the terminal anyway. Riki