clarified Log_Progress vs. GUI: more like Syslog_Dockable;
Description
Description
Details
Details
- Provenance
makarius Authored on - Parents
- rISABELLE1eed7e1300ed: clarified signature: more public operations;
- Branches
- Unknown
- Tags
clarified Log_Progress vs. GUI: more like Syslog_Dockable; Tags None Subscribers None |