Change Ubuntu Mono font size to 12 points
Initial integration with multiple-cursors
Use traditional box cursor