Commit graph

55 commits

Author SHA1 Message Date
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
Paulo Reis
6e99c7b722 Consolidate errors and warnings compilation result indicator.
GitOrigin-RevId: c17b782884c9860022cef93e038136c6853bdc6b
2020-10-16 02:04:55 +00:00
Paulo Reis
e1c2291fef Add screen-reader version of the compile status indicator.
GitOrigin-RevId: 2589246448047fb42637bd12252291cef442c9da
2020-10-16 02:04:50 +00:00
Paulo Reis
876c292d22 Add compile status indicator to new React-based errors UI.
GitOrigin-RevId: 545953e156d589a56ffd038bb7a40bba97770d06
2020-10-16 02:04:45 +00:00
Simon Detheridge
315987dc5a Merge pull request #3175 from overleaf/pr-spike-new-logs-errors-ui
Spike new logs errors ui

GitOrigin-RevId: b4c598bc03d8aa8e5a438ac5633e18dadd82dc74
2020-09-29 02:05:19 +00:00