> Which text editor do you use in daily life? > Kate with custom improved highlights. -- Led. -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://erlang.org/pipermail/erlang-questions/attachments/20181127/25156bfb/attachment.htm>