On 01/11/2013 11:44 AM, Jean-Christophe Saint-Marc wrote:
I don't know if it makes the tool unusable, I suspect so.
since the js is actualy not (yet) used anywhere, it doesn't matter at all, but thanks for spotting it, i've corrected it in git.
-- Address: Daniel Baumann, Donnerbuehlweg 3, CH-3012 Bern Email: daniel.baumann@progress-technologies.net Internet: http://people.progress-technologies.net/~daniel.baumann/