modified:   ide/src/ide.erl