>>>>> "Martin" == Martin Vermeer <[EMAIL PROTECTED]> writes:
Martin> Hmmm... perhaps. But do you think it is wise to use a name Martin> that requires an understanding of the LaTeX commands? Anyway, Martin> as you see the inset label is 'opt' so in fact we are already Martin> in this situation... feel free to change the name. Internally, the code is handled as an optional argument, not as a shorttitle. That's why I think it is better to name the inset like that. This has nothing to do with what the user sees... We may keep the 'short title' wording in menus right now, but I think everything else should be renamed. >> Would you be so kind to rename InsetShortTitle to >> InsetOptionalArgument (or something else of your choice)? The right >> time for doing it is definitely now... Martin> Find/replace... no big deal. Should I also change Martin> insetshorttitle.[Ch]? Yes, please. >> And a few things you may want to do later: [...] Martin> Hmmm yes. Will be easier once this code is in CVS. Yes, that's what I meant. >> Then you will deserve a new entry in CREDITS :) Martin> What other reason do you think I have for putting up with the Martin> lot of you :) It would have been less work to send a patch to CREDITS that write all this code, you know... JMarc
