no view_document after build: avoid loss of focus, especially in "auto build" mode;
Description
Description
Details
Details
- Provenance
makarius Authored on - Parents
- rISABELLE608668d39689: tuned message;
- Branches
- Unknown
- Tags
no view_document after build: avoid loss of focus, especially in "auto build"… Tags None Subscribers None
Description
Details
|