[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: Macros with PlusCal and Toolbox

Removing the old translation is never necessary to run the translator.  However, note that module-editor window must be selected (by clicking on it) in order to run the translator.  By default, saving the module runs the parser.  If the old translation produced a parsing error, this will leave the parser-error window selected.