Installato dopo segnalazione su jug-milano , comodissimo. Anche Eclipse sembra bello con questo font :-D
On Sun, Feb 9, 2020 at 9:46 AM Roberto Franchini [email protected] [it-torino-java-jug] <[email protected]> wrote: > > > > > On Sun, Feb 9, 2020 at 9:04 AM Francesco Vasco [email protected] > [it-torino-java-jug] <[email protected]> wrote: > >> >> >> Ciao, >> se fosse sfuggito, vi segnalo un font "per sviluppatori". >> >> https://www.jetbrains.com/lp/mono/ >> >> >> Io lo sto provando con soddisfazione, ma vi anticipo che richiede un po' >> di adattamento iniziale e, >> come tutto, può piacere o no. >> >> > Lo sto usando da almeno 3 settimane e mi trovo benissimo. > FRANK > -- > Roberto Franchini > "The impossible is inevitable" > https://github.com/robfrank/ > https://twitter.com/robfrankie > https://www.linkedin.com/in/robfrank > > > -- "If none of us believes in war...can you tell me what the weapon for..." Ozzy Killer of Giants
