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