December 4, 2019 EditorConfig bearbeiten Ich hatte heute einen Kommentar im PR: “Der Code war vorher besser formatiert”. Nun bin ich ja ziemlich fest davon überzeugt, dass Softwareentwickler viel…
December 2, 2019 Material Design für PhpStorm Auf Tipp eines Kollegen habe ich mal dieses Plugin probiert: https://plugins.jetbrains.com/plugin/8006-material-theme-ui/. Passt das zum Thema dieses Blogs? Also: Macht das meine Arbeit effizienter? Vermutlich…
