Z-Axis a écrit :
J'ai essayé Scite, c'est bien mais rien que pour changer la poilce j'ai pas trouvé (ça à l'ari un peu galère tout de même les fichiers conf :'()
|
Pour le configurer, le plus simple est de se réfèrer au tableau "Defined variables in properties files" de cette page.
Pour les polices, il faut modifier cette partie :
# Give symbolic names to the set of fonts used in the standard styles.
if PLAT_WIN
font.base=font:Verdana,size:9
font.small=font:Verdana,size:9
font.comment=font:Comic Sans MS,size:9
font.code.comment.box=$(font.comment)
font.code.comment.line=$(font.comment)
font.code.comment.doc=$(font.comment)
font.text=font:Times New Roman,size:9
font.text.comment=font:Verdana,size:9
font.embedded.base=font:Verdana,size:9
font.embedded.comment=font:Comic Sans MS,size:9
font.monospace=font:Courier New,size:9
font.vbs=font:Trebuchet MS,size:9
if PLAT_GTK
font.base=font:Verdana,size:9
font.small=font:Verdana,size:9
font.comment=font:Comic Sans MS,size:9
font.code.comment.box=$(font.comment)
font.code.comment.line=$(font.comment)
font.code.comment.doc=$(font.comment)
font.text=font:Times New Roman,size:9
font.text.comment=font:Verdana,size:9
font.embedded.base=font:Verdana,size:9
font.embedded.comment=font:Comic Sans MS,size:9
font.monospace=font:Courier New,size:12
font.vbs=font:Trebuchet MS,size:9
font.js=$(font.comment)
Message édité par Hansolo le 05-04-2003 à 08:49:55