Paulo Reis a75c191d5b Make sure the errors and warnings count is re-read after a compile, even if it does not change. ...

GitOrigin-RevId: 481f33782e4b473e535fbeaee786f04f897f1697

2020-10-16 02:05:00 +00:00

..

preview-log-entry.js

Add compile status indicator to new React-based errors UI.

2020-10-16 02:04:45 +00:00

preview-logs-pane.js

Merge pull request #3175 from overleaf/pr-spike-new-logs-errors-ui

2020-09-29 02:05:19 +00:00

preview-logs-toggle-button.js

Consolidate errors and warnings compilation result indicator.

2020-10-16 02:04:55 +00:00

preview-pane.js

Make sure the errors and warnings count is re-read after a compile, even if it does not change.

2020-10-16 02:05:00 +00:00

preview-recompile-button.js

Add compile status indicator to new React-based errors UI.

2020-10-16 02:04:45 +00:00

preview-toolbar.js

Add compile status indicator to new React-based errors UI.

2020-10-16 02:04:45 +00:00