diff options
| author | Thomas ten Cate <ttencate@gmail.com> | 2018-12-11 16:52:25 +0100 |
|---|---|---|
| committer | Thomas ten Cate <ttencate@gmail.com> | 2019-06-25 14:57:44 +0200 |
| commit | 05b67514a697b6dfb18b6c3f227aa622b32bb2eb (patch) | |
| tree | dda1b51026c6011f3d9c7bdd0bee36de25e10550 /doc | |
| parent | 7a56873271c6254d7583cf8dad52c410d7edcdca (diff) | |
Make visibility of update spinner editor-wide, hidden by default
- Make visibility of the spinner and "update always" option editor-wide,
rather than per-project metadata.
- Add options "Show Update Spinner" and "Update Continuously" under
Editor Settings > Interface > Editor. Both options are false by
default.
- Rename some variables and constants to be more consistent and clearer:
"update always" -> "update continuously", "update changes" -> "update
when changed", "update menu" -> "update spinner", "circle" -> "update
spinner".
Fixes #23738.
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions