[OT] Which IDE / Editor do you use?

[Dicebot]

On Sunday, 15 September 2013 at 17:20:42 UTC, Joseph Rushton 
Wakeling wrote:
> 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? :-)

Probably :) Well, Unity uses similar principles in many 
directions though I do like Gnome 3 decision to remove system 
tray completely and focus on robust notification system instead - 
that was the main decision factor for me when trying both it and 
Unity. (also default style aesthetics but that is configurable 
and hardly that important)