Changeset 719:792c5369e41e in hatta-dev

Timestamp:

01/05/10 17:48:28 (2 years ago)

Author:

sheep@…

Branch:

default

Message:

add an option to change the pygments style

File:

• hatta.py (modified) (3 diffs)

hatta.py

@@ -182 +182 @@
         add('-I', '--ignore-indent', dest='ignore_indent', default=False,
             help='Treat indented lines as normal text', action="store_true")
+        add('-P', '--pygments-style', dest='pygments_style',
+            help='Use the STYLE pygments style for highlighting',
+            metavar='STYLE')
 
         options, args = parser.parse_args()
@@ -2431 +2434 @@
         self.read_only = self.config.get_bool('read_only', False)
         self.icon_page = self.config.get('icon_page', None)
+        self.pygments_style = self.config.get('pygments_style', 'tango')
 
         self.storage = self.storage_class(self.path, self.page_charset)
@@ -3129 +3133 @@
             raise werkzeug.exceptions.NotFound()
 
-        pygments_style = 'tango'
+        pygments_style = self.pygments_style
         if pygments_style not in pygments.styles.STYLE_MAP:
             pygments_style = 'default'