| Summary: | Can't disable auto-save in the editor | ||
|---|---|---|---|
| Product: | [ECD] Orion | Reporter: | Maciej Bendkowski <maciej.bendkowski> |
| Component: | Editor | Assignee: | Silenio Quarti <Silenio_Quarti> |
| Status: | RESOLVED WORKSFORME | QA Contact: | |
| Severity: | normal | ||
| Priority: | P3 | CC: | earl93, gheorghe, Silenio_Quarti |
| Version: | 8.0 | ||
| Target Milestone: | --- | ||
| Hardware: | PC | ||
| OS: | Linux | ||
| Whiteboard: | |||
|
Description
Maciej Bendkowski
Do you have the git diff annotations showing in the editor ruler? The git diff annotations also cause the editor to save when idle. It is possible to disable the annotations by clicking "Tools -> Diff" in the menu bar. (In reply to Silenio Quarti from comment #1) > Do you have the git diff annotations showing in the editor ruler? The git > diff annotations also cause the editor to save when idle. It is possible to > disable the annotations by clicking "Tools -> Diff" in the menu bar. Thanks, that seems to fix my problem. Anyway, I don't see the reason why having git diff annotations should require auto-save. Couldn't I have the diff with my index updated after a manual save? Other editors update the annotations on the fly. In order to support this we need to save the file since the diffing is done in the server. I think we should add a settings to turn this behavior on/off. When off, diffing would be done on save only. Insoo, please could add the settings? Yup , working on it right now just to clarify, do we want to make a new setting or use the existing auto-save setting to control git-diff behaviour? I'm diminishing the severity to normal because of the work-around mentioned in comment 1. Diff can be enabled/disabled. |