[OT] Which IDE / Editor do you use?

[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 :)