[ https://issues.jboss.org/browse/JBIDE-16920?page=com.atlassian.jira.plugi... ] Konstantin Marmalyukov edited comment on JBIDE-16920 at 4/12/14 11:59 AM: -------------------------------------------------------------------------- After some discussions I think we should minimalize refresh options. How it should be for now: - manual full page refresh - refreshOnChange : full page refresh after document changed(enable/disable) - refreshOnSave : full page refresh after document saved(enable/disable). last two options cannot be enabled both. Why we don't need partrefresh option: it will cause some mess and it works incorrect in some cases. The main goal of adding this option was making refresh faster, but full refresh works fast enough at least on Windows. was (Author: kmarmaliykov): After some discussions I think we should minimalize refresh options. How it should be for now: - manual full page refresh - refreshOnChange : full page refresh after document changed(enable/disable) - refreshOnSave : full page refresh after document saved(enable/disable). last two options cannot be enabled both. -- This message is automatically generated by JIRA. If you think it was sent incorrectly, please contact your JIRA administrators For more information on JIRA, see: http://www.atlassian.com/software/jira