[OT] Which IDE / Editor do you use?

[Joseph Rushton Wakeling]

On 15/09/13 18:50, Dicebot wrote:
> 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 :)

Oh dear.  Does that mean that you and I are doomed to eternal conflict, as I'm a 
Unity user and really rather like it? :-)