31 Mar
2013
31 Mar
'13
3:54 p.m.
Does anyone know how to allow TABs before and in comments without destroying the intended function of Ciao mode?
If what you want is to insert a real tab you can do it by "quoting"it, i.e., by typing "C-qTAB". Hope this helps!
--
----------------------- The Ciao System Development Team --------------------
The CLIP Group | IMDEA Software Institute
ciao(a)clip.dia.fi.upm.es | and Technical University of Madrid
http://www.ciao-lang.org / http://www.cliplab.org
-----------------------------------------------------------------------------