Se agrega el widget de numeros de lineas en el editor