Hi Nicolas, On 2011-06-30, Nicolas Goaziou <n.goaz...@gmail.com> wrote: > I think I have corrected a few glitches with font locking of inline > footnotes. Your "a lot" makes me think it isn't enough yet, though...
They are really good now. There was an interaction with comments and different extents were colored within inline footnotes. The first is fixed. The second is either very infrequent or fixed. Single letters in normal text sometimes display the footnote face, more around footnotes than in other places, but I have seen this type of thing in other contexts than footnotes. Sometimes simply the arrow key changes the face. I doubt it's worth trying to fix them unless you know the display code. Also, this isn't a glitch, but I wonder if it makes sense to turn off mouse hover for inline definitions (not calls). Clicking merely goes to the beginning, removing the ability to place point. Also, did we already talk about emphasis and link coloring and reject them? These fixes are great. Samuel -- The Kafka Pandemic: http://thekafkapandemic.blogspot.com I support the Whittemore-Peterson Institute (WPI) === Bigotry against people with serious diseases is still bigotry.