Update dev_ide.txt