Editeur/styles.py

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