Thomas ten Cate 05b67514a6 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.

2019-06-25 14:57:44 +02:00

214 KiB

Raw Blame History

View Raw