hi all, I added ctrl+K (delete current line) and ctrl+D (duplicate current line) to the editor. those functions are really missing :) Enjoy https://sites.google.com/site/tandycocoloco/minted -- Long live the CoCo