ThirdParty/Pygments/pygments/formatters/img.py

changeset 808
8f85926125ef
parent 684
2f29a0b6e1c7
child 1705
b0fbc9300f2b
equal deleted inserted replaced
805:83ca4d1ff648 808:8f85926125ef
16 from pygments.util import get_bool_opt, get_int_opt, \ 16 from pygments.util import get_bool_opt, get_int_opt, \
17 get_list_opt, get_choice_opt 17 get_list_opt, get_choice_opt
18 18
19 # Import this carefully 19 # Import this carefully
20 try: 20 try:
21 import Image, ImageDraw, ImageFont 21 from PIL import Image, ImageDraw, ImageFont
22 pil_available = True 22 pil_available = True
23 except ImportError: 23 except ImportError:
24 pil_available = False 24 pil_available = False
25 25
26 try: 26 try:

eric ide

mercurial