Jonas Jenwald 4aabd063fc Gracefully handle annotation parsing errors in Page.getOperatorList (issue 11871)
This should ensure that a page will always render successfully, even if there's errors during the Annotation fetching/parsing.
Additionally the `OperatorList.addOpList` method is also adjusted to ignore invalid data, to make it slightly more robust.
2020-05-04 17:09:48 +02:00
..
2016-04-11 08:02:06 -05:00
2015-10-04 15:45:24 +02:00
2016-04-11 08:02:06 -05:00
2015-11-06 10:55:43 -06:00
2015-11-03 09:03:08 -06:00
2017-01-10 16:42:43 +00:00
2017-04-10 16:18:08 -07:00
2017-04-05 15:17:38 -07:00
2017-08-03 22:19:36 -07:00
2018-09-02 21:23:09 +02:00
2018-09-02 21:23:09 +02:00
2018-09-02 21:23:09 +02:00
2015-10-16 18:54:18 +02:00
2015-10-16 18:54:18 +02:00