toggle insert vs overwrite with ctrl, like in JDT