id	summary	reporter	owner	description	type	status	priority	milestone	component	version	severity	resolution	keywords	cc
447	Eliminar funcionalidad Ctrl-K sobre el editor	apuente	Jorge	La combinación de teclas Ctrl-K, además de detener la ejecución de un archivo TOL, borra bloques de texto del editor. Esto supone que si compilamos un archivo abierto en el editor y luego detenemos su ejecución pulsando varias veces Ctrl-K, se borrarán varios bloques de texto del archivo abierto en el editor. Sería útil que la combinación Ctrl-K no actuase sobre el editor, ya que es habitual pulsarla más de una vez para detener la ejecución.	enhancement	closed	highest		Interface	head	minor	fixed