Open kpeeters opened 6 years ago
Add warnings/message channel to ProgressMonitor
This is in place since Dom's changes in 487526fd1b463774b8, and in use with meld, but should support both textual and LaTeX channels, and be used by other long-running algorithms as well.
meld
Add warnings/message channel to ProgressMonitor