On Monday, May 2, 2016 at 12:17:43 PM UTC-7, RjOllos wrote: > > > > On Monday, May 2, 2016 at 1:42:04 AM UTC-7, theultramage wrote: >> >> Oh. You are right. On my local install it does indeed render as desired. >> I guess the official trac site, nor the bugtracker where I originally >> encountered this issue, installs Pygments. >> The confusing thing is, trac.edgewall.org _did_ have it at one point. It >> made me think that something in the code broke and nobody noticed. >> > > I think we are having a miscommunication. trac.edgewall.org //does// have > Pygments installed. I've posted a screen capture below. > > If you don't see the same as in the screen capture, please do the > following: > 1. Go to https://trac.edgewall.org/prefs/advanced and copy your session > key > 2. Take a screen capture of what you see > 3. Clear your cookie for t.e.o, which should fix the issue > 4. Send your screen capture and session key > > It's possible you are seeing the issue described in: > https://groups.google.com/d/msg/trac-users/6fUpnII5x3c/840suWAOCgAJ > > > > <https://lh3.googleusercontent.com/-Yj69Et34tTE/VyenoRu8wnI/AAAAAAAADDo/_iZWC27xekcc67WA9SZNBUjA-sI-MNV3ACLcB/s1600/Screen%2BShot%2B2016-05-02%2Bat%2B12.14.06.png> > > > > > > > > > > > > > > > > > > > > > > > > > - Ryan >
Revised steps: If you don't see the same as in the screen capture, please do the following: 1. Go to https://trac.edgewall.org/prefs/advanced and copy your session key 2. Take a screen capture of what you see 3. Go to https://trac.edgewall.org/prefs/pygments and note the entry for style, and take a screen capture 4. Clear your cookie for t.e.o, which should fix the issue 5. Send your screen capture and session key -- You received this message because you are subscribed to the Google Groups "Trac Users" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To post to this group, send email to [email protected]. Visit this group at https://groups.google.com/group/trac-users. For more options, visit https://groups.google.com/d/optout.
