Re: [OT] Which IDE / Editor do you use?

[Paulo Pinto]

Am 15.09.2013 18:50, schrieb Dicebot:

On Sunday, 15 September 2013 at 03:44:59 UTC, Jonathan M Davis wrote:

As for Gnome 3, I don't know what they're smoking. It's one of the most
bizarre DEs ever

After I have switched to Gnome Shell I can't use any other desktop
manager comfortably. It is truly revolutionary, main problem is that
people almost never want revolutions and mostly stick to their habits.
Ones that suffer badly with Gnome Shell :)

This applies to programming languages as well. :)