Scott Kostyshak 8d2b121ef5 Do not show master's errors if compiling child
If a master document is compiled and has errors, and then a child is
compiled without error, the errors from the master compilation were
shown.

The setup of the relevant code is the following:

  processingThreadFinished() calls errors().  errors() makes the
  assumption that if it is called, there must have been an error
  somewhere.

The logic of the setup is the following:

  processingThreadFinished() knows whether there was an error on
  the most recent preview/export, although it doesn't know whether
  the error is from master or child (i.e. does not know whether the
  user was compiling the child, or whether master-buffer-view was
  called).  Inside error(), if there is no error in the child, it is
  assumed the error is from master.

For the above logic to work, errors() should only be called if there
was an error.

This commit fixes #11106 and preserves the fix to #7330.
2018-04-08 09:51:01 -04:00
..
2017-07-03 13:46:30 -04:00
2018-03-22 15:52:23 +01:00
2017-08-03 13:07:41 +02:00
2018-02-18 09:19:03 +01:00
2016-05-29 17:55:45 -04:00
2018-02-23 23:17:57 -05:00
2018-02-23 23:38:31 -05:00
2017-07-03 13:46:30 -04:00
2017-10-16 10:12:21 +02:00
2017-07-03 13:46:30 -04:00
2017-07-03 13:46:30 -04:00
2017-08-03 13:07:41 +02:00
2015-11-20 22:43:45 +01:00
2017-07-03 13:46:30 -04:00
2017-07-03 13:46:30 -04:00
2015-10-10 21:38:17 +02:00
2017-07-03 13:46:30 -04:00
2018-02-07 23:24:05 +01:00
2018-01-30 12:11:22 +01:00
2018-02-23 23:43:59 -05:00
2017-07-03 13:46:30 -04:00
2017-03-01 16:34:01 +01:00
2018-02-24 00:30:24 -05:00
2017-07-03 13:46:30 -04:00
2017-06-03 17:26:05 +02:00
2017-07-03 13:46:30 -04:00
2017-07-03 13:46:30 -04:00
2018-02-23 23:47:05 -05:00
2017-07-03 13:46:30 -04:00
2017-07-03 13:46:30 -04:00
2017-07-03 13:46:30 -04:00
2018-02-23 23:54:24 -05:00
2017-07-03 13:46:30 -04:00
2017-12-29 10:36:03 +01:00
2017-07-03 13:46:30 -04:00
2018-01-28 23:37:20 -05:00
2017-07-03 13:46:30 -04:00
2017-07-03 13:46:30 -04:00
2018-02-24 00:32:14 -05:00
2017-07-03 13:46:30 -04:00
2016-06-26 14:26:35 +02:00
2017-07-03 13:46:30 -04:00
2015-12-05 19:33:24 +00:00
2017-11-11 13:24:08 +01:00
2017-07-03 13:46:30 -04:00
2018-02-24 12:48:02 +01:00
2017-08-03 13:07:41 +02:00
2016-07-31 18:34:33 +01:00
2017-07-03 13:46:30 -04:00
2016-10-23 00:25:05 +02:00
2017-10-16 10:12:21 +02:00
2018-03-21 23:08:38 -04:00
2018-04-03 18:39:28 -04:00
2017-10-25 16:20:27 +02:00
2018-02-24 00:25:56 -05:00
2017-01-09 23:15:16 +01:00
2017-01-09 23:15:16 +01:00
2018-02-24 00:28:37 -05:00
2015-10-10 21:04:28 +02:00
2017-07-03 13:46:30 -04:00
2018-03-15 15:44:49 +01:00
2016-12-31 15:29:43 +01:00