Mercurial Repositories > eric / file comparison
comparison: ThirdParty/Pygments/pygments/styles/manni.py
ThirdParty/Pygments/pygments/styles/manni.py
- changeset 4172
- 4f20dba37ab6
- parent 3145
- a9de05d4a22f
- child 4697
- c2e9bf425554
equal
deleted
inserted
replaced
| 4170:8bc578136279 | 4172:4f20dba37ab6 |
|---|---|
| 6 A colorful style, inspired by the terminal highlighting style. | 6 A colorful style, inspired by the terminal highlighting style. |
| 7 | 7 |
| 8 This is a port of the style used in the `php port`_ of pygments | 8 This is a port of the style used in the `php port`_ of pygments |
| 9 by Manni. The style is called 'default' there. | 9 by Manni. The style is called 'default' there. |
| 10 | 10 |
| 11 :copyright: Copyright 2006-2013 by the Pygments team, see AUTHORS. | 11 :copyright: Copyright 2006-2014 by the Pygments team, see AUTHORS. |
| 12 :license: BSD, see LICENSE for details. | 12 :license: BSD, see LICENSE for details. |
| 13 """ | 13 """ |
| 14 | |
| 15 from __future__ import unicode_literals | |
| 16 | 14 |
| 17 from pygments.style import Style | 15 from pygments.style import Style |
| 18 from pygments.token import Keyword, Name, Comment, String, Error, \ | 16 from pygments.token import Keyword, Name, Comment, String, Error, \ |
| 19 Number, Operator, Generic, Whitespace | 17 Number, Operator, Generic, Whitespace |
| 20 | 18 |
