Editeur/styles.py

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