Python newTextStack Examples

Example #1

File: formula.py Project: koreiklein/fantasia

 def render(self, context):
     return primitives.newTextStack(colors.genericColor, repr(self))

Example #2

File: endofunctor.py Project: koreiklein/fantasia

 def render(self, context):
   return primitives.newTextStack(colors.variableColor, repr(self))

Example #3

File: endofunctor.py Project: koreiklein/fantasia

def renderBoundedVariableBinding(variable, domain):
  middleStack = primitives.newTextStack(colors.variableColor, ":")
  return variable.render().stack(0, middleStack,
      spacing = distances.variable_binding_spacing).stackCentered(0, domain.render(),
          spacing = distances.variable_binding_spacing)

Example #4

File: variable.py Project: koreiklein/fantasia

def renderStringSymbol(s):
  return primitives.newTextStack(colors.symbolColor, repr(s))