A source code editor aiming for the convenience of use