06-03-2019, 04:47 PM
Oryon post_id=11594 time=1551874106 user_id=825 Ha scritto:Sono lato server.
Lato client si può realizzare una personalizzazione totale dei colori del client dell'output in modo che ognuno si metta quello che vuole.
L'utente 'skillato' potrebbe creare delle regexp per colorare a piacimento il testo:
https://plugins.jetbrains.com/plugin/7125-grep-console