@Gargron I love Gnome and used it for years. But have you checked out KDE? I now use KDE (with Plasma's Dark Breeze theme). The Kate editor ris a cut above Gnome's Gedit. For instance, when you SFTP to a server and edit files, Kate carefully saves back the new version with correct ownership and perms, which Gedit did not (when I used it). Instead Gedit made the SFTP user the ewner, and the perms were not necessarily respected either... Check out KDE... As a coder, you might never look back...