Hi. I would like to have different indent size for different languages, but setting the indent.size attribute in the corresponding properties files doesn't seem to work. Can this be done? If so, how?
-- Ernesto Posse Modelling, Simulation and Design Lab - School of Computer Science McGill University - Montreal, Quebec, Canada url: http://moncs.cs.mcgill.ca/people/eposse _______________________________________________ Scite-interest mailing list [email protected] http://mailman.lyra.org/mailman/listinfo/scite-interest
