Foros del Web » Programando para Internet » PHP »

Cambiar colores de highlight_string,file

Estas en el tema de Cambiar colores de highlight_string,file en el foro de PHP en Foros del Web. loading........... Se puede cambiar los colores con los que los formatea estas 2 funciones? highlight_string y high...._file Y si se puede, como? connection closed....
  #1 (permalink)  
Antiguo 08/11/2004, 16:42
Avatar de MaBoRaK  
Fecha de Ingreso: abril-2003
Ubicación: La Paz - Bolivia
Mensajes: 2.003
Antigüedad: 14 años, 7 meses
Puntos: 35
Cambiar colores de highlight_string,file

loading...........


Se puede cambiar los colores con los que los formatea estas 2 funciones?

highlight_string y high...._file

Y si se puede, como?




connection closed.
__________________

Maborak Technologies
  #2 (permalink)  
Antiguo 09/11/2004, 08:24
O_O
 
Fecha de Ingreso: enero-2002
Ubicación: Santiago - Chile
Mensajes: 34.417
Antigüedad: 15 años, 11 meses
Puntos: 126
No, .., es decir .. esas funciones no disponen parámetros como para pasarle un "CSS" o algo así para cambiar el color de la sintax generada.

Sólo desde php.ini creo que se puede hacer algo al respecto:

; Colors for Syntax Highlighting mode. Anything that's acceptable in
; <font color="??????"> would work.
;highlight.string = #DD0000
;highlight.comment = #FF9900
;highlight.keyword = #007700
;highlight.bg = #FFFFFF
;highlight.default = #0000BB
;highlight.html = #000000

Y ... tal vez puedas modificar eso desde tu script sin necesidad de tocar tu php.ini con la función ini_set() tipo:
Código PHP:
ini_set("highlight.string","#DD0000");
// etc... con el resto 
De todas formas .. revisa las propuestas de los usuarios de dicha función en el manual oficial de PHP .. tienes otras alternativas a la implementación de dichas funciones:

http://www.php.net/highlight_string

Un saludo,
Atención: Estás leyendo un tema que no tiene actividad desde hace más de 6 MESES, te recomendamos abrir un Nuevo tema en lugar de responder al actual.
Respuesta




La zona horaria es GMT -6. Ahora son las 03:00.