[jbosstools-issues] [JBoss JIRA] (JBIDE-17691) Can't save the file in Properties Editor after inline editing

Can't save the file in Properties Editor after inline editing ------------------------------------------------------------- Key: JBIDE-17691 URL: https://issues.jboss.org/browse/JBIDE-17691 Project: Tools (JBoss Tools) Issue Type: Bug Components: common/jst/core Affects Versions: 4.2.0.Beta2 Reporter: Alexey Kazakov Assignee: Viacheslav Kabanovich Fix For: 4.2.0.Beta3 1. Open any *.properties file with JBT Properties Editor. 2. Edit any value. Do not move cursor to another value. 3. Failure: The file is not marked as modified. Ctrl+S doesn't work. 4. Move cursor to another value. The file is modified now. I can now save the file.