For some reason Note:Comment seems not to let me require a package. Here is how I tried to change it (my changes are marked by a comment in the previous line):

stdinsets.inc:

...

Provides stdinsets 1
# load hyperref
Provides hyperref 1

...

InsetLayout Note:Comment
        LabelString           Comment
#       LatexType             environment
        LatexType             command
#       LatexName             comment
        LatexName             pdfcomment
        BgColor               notebg
        LabelFont
          Color               comment
          Size                Small
        EndFont
#       MultiPar              true
        MultiPar              false
        Display               false
        HTMLTag               div
        HTMLIsBlock           true
  HTMLStyle
    div.note_comment {
      display: none;
    }
  EndHTMLStyle
# requires pdfcomment package
        Requires                pdfcomment
End


It works just fine when I use the exact same in InsetLayout Note:Greyedout. So probably there is something particular about Note:Comment that I am unaware of.

Daniel

Reply via email to