render snapshot.is_outdated in text overview, where other status information is shown already;
Description
Description
Details
Details
- Provenance
makarius Authored on - Parents
- rISABELLEa8fb3e379ba7: avoid flashing of main text area (visual "grey-out") due to spurious edits, e.g.
- Branches
- Unknown
- Tags