/usr/share/pyshared/plasTeX/Packages/fancyvrb.py is in python-plastex 0.9.2-1.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 | from plasTeX import Command, Environment
from plasTeX.Base.LaTeX.Verbatim import verbatim
class Verbatim(verbatim):
args = '[ options:dict ]'
def parse(self, tex):
verbatim.parse(self, tex)
options = self.attributes['options']
print options
if options is None:
options = {}
# Format command
formatcom = None
if options.has_key('formatcom'):
formatcom = options['formatcom']
# Frame width
framerule = '1px'
if options.has_key('framerule'):
framerule = options['framerule'].strip()
# Frame color
rulecolor = 'black'
if options.has_key('rulecolor'):
rulecolor = options['rulecolor'].style['color']
# Frames
if options.has_key('frame'):
frame = options['frame'].strip()
if frame in ['leftline','single']:
self.style['border-left'] = '%s solid %s' % \
(framerule, rulecolor)
if frame in ['rightline','single']:
self.style['border-right'] = '%s solid %s' % \
(framerule, rulecolor)
if frame in ['topline','single','lines']:
self.style['border-top'] = '%s solid %s' % \
(framerule, rulecolor)
if frame in ['bottomline','single','lines']:
self.style['border-bottom'] = '%s solid %s' % \
(framerule, rulecolor)
# Padding
if options.has_key('framesep'):
self.style['padding'] = options['framesep'].strip()
# Font family
if options.has_key('fontfamily'):
self.style['font-family'] = options['fontfamily'].strip()
# Font size
if options.has_key('fontsize'):
fontsize = options['fontsize'].strip()
if fontsize == 'tiny':
self.style['font-size'] = 'xx-small'
elif fontsize == 'footnotesize':
self.style['font-size'] = 'x-small'
elif fontsize == 'small':
self.style['font-size'] = 'small'
elif fontsize == 'normalsize':
self.style['font-size'] = 'medium'
elif fontsize == 'large':
self.style['font-size'] = 'large'
elif fontsize == 'Large':
self.style['font-size'] = 'x-large'
elif fontsize == 'huge':
self.style['font-size'] = 'xx-large'
elif fontsize == 'huge':
self.style['font-size'] = 'xx-large'
# Font shape
if options.has_key('fontshape'):
fontshape = options['fontshape'].strip()
if fontshape.startswith('i') or fontshape.startswith('o'):
self.style['font-style'] = 'italic'
# Font weight
if options.has_key('fontseries'):
fontseries = options['fontseries'].strip()
if fontshape.startswith('b'):
self.style['font-weight'] = 'bold'
# Suppress characters at beginning
if options.has_key('gobble'):
gobble = int(options['gobble'])
content = content.split('\n')
for i in range(len(content)):
try: content[i] = content[i][gobble:]
except: content[i] = ''
content = '\n'.join(content)
# Command chars
if options.has_key('commandchars'):
chars = options['commandchars']
self.ownerDocument.context.catcode(chars[0], Token.CC_ESCAPE)
self.ownerDocument.context.catcode(chars[1], Token.CC_BGROUP)
self.ownerDocument.context.catcode(chars[2], Token.CC_EGROUP)
# Comment char
if options.has_key('commentchar'):
char = options['commentchar']
self.ownerDocument.context.catcode(char, Token.CC_COMMENT)
print self.style
return self.attributes
|