Comment by mg74

Totally unrelated, but what editor is this that is being used here for the screenshots? Anyone know?