Changeset 718:1cb7556f2e1d in hatta-dev


Ignore:
Timestamp:
01/05/10 17:38:01 (2 years ago)
Author:
sheep@…
Branch:
default
Message:

move the pygments css to a separate stylesheet

Files:
2 edited

Legend:

Unmodified
Added
Removed

  • hatta.py

    r717 r718  
    17261726                                    e(self.wiki.site_name))) 
    17271727        yield h.link(rel="stylesheet", type_="text/css", 
     1728                     href=self.get_url(None, self.wiki.pygments_css)) 
     1729        yield h.link(rel="stylesheet", type_="text/css", 
    17281730                     href=self.get_url(None, self.wiki.style_css)) 
    17291731        if special_title: 
    … …  
    19921994            return 
    19931995 
    1994         if 'tango' in pygments.styles.STYLE_MAP: 
    1995             style = 'tango' 
    1996         else: 
    1997             style = 'friendly' 
    1998         formatter = pygments.formatters.HtmlFormatter(style=style) 
     1996        formatter = pygments.formatters.HtmlFormatter() 
    19991997        formatter.line_no = line_no 
    20001998 
    … …  
    24102408            sys.stdout.write("Hatta %s\n" % __version__) 
    24112409            sys.exit() 
    2412         if pygments is not None: 
    2413             if 'tango' in pygments.styles.STYLE_MAP: 
    2414                 style = 'tango' 
    2415             else: 
    2416                 style = 'friendly' 
    2417             formatter = pygments.formatters.HtmlFormatter(style=style) 
    2418             self.style += formatter.get_style_defs('.highlight') 
    24192410        self.dead = False 
    24202411        self.config = config 
    … …  
    24872478            R('/robots.txt', endpoint=self.robots_txt, methods=['GET', 'HEAD']), 
    24882479            R('/+download/style.css', endpoint=self.style_css, 
     2480              methods=['GET', 'HEAD']), 
     2481            R('/+download/pygments.css', endpoint=self.pygments_css, 
    24892482              methods=['GET', 'HEAD']), 
    24902483            R('/+download/scripts.js', endpoint=self.scripts_js, 
    … …  
    31303123        return self._serve_default(request, 'style.css', self.style, 
    31313124                                   'text/css') 
     3125    def pygments_css(self, request): 
     3126        """Serve the default pygments style""" 
     3127 
     3128        if pygments is None: 
     3129            raise werkzeug.exceptions.NotFound() 
     3130 
     3131        pygments_style = 'tango' 
     3132        if pygments_style not in pygments.styles.STYLE_MAP: 
     3133            pygments_style = 'default' 
     3134        formatter = pygments.formatters.HtmlFormatter(style=pygments_style) 
     3135        style_defs = formatter.get_style_defs('.highlight') 
     3136        return self._serve_default(request, 'pygments.css', style_defs, 
     3137                                   'text/css') 
    31323138 
    31333139    def favicon_ico(self, request): 

  • tests/test_hatta.py

    r680 r718  
    226226<html><head> 
    227227    <title>page &lt;title&gt; - Hatta Wiki</title> 
     228    <link type="text/css" href="/+download/pygments.css" rel="stylesheet"> 
    228229    <link type="text/css" href="/+download/style.css" rel="stylesheet"> 
    229230    <link type="application/wiki" href="/+edit/page%20%3Ctitle%3E" rel="alternate"> 
    … …  
    260261<html><head> 
    261262    <title>different &lt;title&gt; - Hatta Wiki</title> 
     263    <link type="text/css" href="/+download/pygments.css" rel="stylesheet"> 
    262264    <link type="text/css" href="/+download/style.css" rel="stylesheet"> 
    263265    <meta content="NOINDEX,NOFOLLOW" name="robots"> 
Note: See TracChangeset for help on using the changeset viewer.