Jay Bryant 3f126fe0ff
Fixed a refresh bug in the document toggle ...
While working on another feature, I noticed that the document toggle wasn't updating the ToC. I fixed that. (It matters only in the case where entire headings are toggled, but we do have one such case.)
2019-08-01 09:59:19 -05:00
2019-04-23 14:17:13 -05:00
2019-03-21 18:45:33 +01:00
2018-07-11 17:07:40 -05:00
2019-08-01 09:59:19 -05:00
2019-05-13 18:24:17 +02:00
2019-01-15 15:34:02 +01:00
2019-03-21 18:45:33 +01:00
2017-10-20 10:41:48 -04:00
2019-04-11 15:53:30 +02:00
2019-04-23 14:17:13 -05:00
2019-03-21 18:45:33 +01:00
2019-03-26 21:53:14 +01:00
2019-04-23 14:17:13 -05:00
2019-07-30 17:57:54 +02:00
2018-01-26 11:52:51 -06:00
2018-02-28 15:27:29 -06:00
2018-11-16 11:24:35 +01:00
2018-10-29 10:04:16 -05:00
2019-03-21 18:45:33 +01:00
2018-02-28 15:27:29 -06:00
2018-10-03 09:48:29 +02:00
2019-03-21 18:45:33 +01:00
2019-04-05 21:48:24 +02:00
2017-10-27 17:35:06 -04:00
2019-07-30 18:02:34 +02:00
3f126fe0ff