Friday, June 6, 2008

GAMS/IDE bug

Ctrl-T eats up too many characters:


› // hello
› -10


In both cases Ctrl-T should remove blanks up-to the first non-blank character. However it will also remove the // and - characters.

If this happens, use Ctrl-Z to undo.