Browsing posts in: Linux

Utiliser IntelliJ Idea sous Gnome-shell

J’avais déjà testé à plusieurs reprises la version communautaire d’IntelliJ Idea sans avoir été vraiment emballé. Bug de swing sous gnome-shell, polices affreusement moches et collisions entre les raccourcis de l’OS et ceux de l’éditeur rendait le coût d’adaptation à ce nouvel outil trop élevé à mes yeux.

Grâce aux mayas (ou à cause c’est selon), j’ai craqué sur la promo « spécial fin du monde » et en ai donc profité pour acquérir la version Ultimate de la version 12 fraîchement sortie. Une fois la version payée, la motivation pour trouver une solution à ces problèmes a été suffisante.