Editeur/styles.py

   1 # -*- coding: utf-8 -*-
   2 import os
   3 import prefs
   4 import basestyle
   5 from basestyle import STYLE,style
   6
   7 inistylefile=os.path.join(prefs.REPINI,"style.py")
   8 if os.path.isfile(inistylefile):
   9    execfile(inistylefile)
  10
  11 userstylefile=os.path.expanduser("~/Eficas_install/style.py")
  12 if os.path.isfile(userstylefile):
  13    execfile(userstylefile)
  14
  15 import fontes
  16 for attr in dir(style):
  17    if attr[0]=='_':continue
  18    if not hasattr(fontes,attr):continue
  19    setattr(fontes,attr,getattr(style,attr))
  20
  21