Andy McFadden 83da0d952c
Fancy comments, part 1 ...
Added a "fancy" flag to MultiLineComment. If set, we will use
formatting commands embedded in the text itself. The max width pop-up
and "boxed" flag will be ignored in favor of width and boxing
directives. (See issue #111.)
The current "fancy" formatter is just a placeholder that folds lines
every 10 characters.
Removed FormattedMlcCache (added two changes back). Caching the
rendered string list in the MLC itself is simpler and more efficient
than having a separate cache, and it works for Notes as well.
Added anchors for more comments in the 20090 test.
2024-07-04 17:25:21 -07:00
2020-10-10 18:34:19 -07:00
2020-06-06 14:47:19 -07:00
2020-06-06 14:47:19 -07:00
2020-10-10 18:34:19 -07:00
2020-06-06 14:47:19 -07:00
2020-06-06 14:47:19 -07:00
2020-06-06 14:47:19 -07:00
2020-10-10 18:34:19 -07:00
2020-10-18 20:30:42 -07:00
2020-10-18 20:30:42 -07:00
2020-10-18 20:30:42 -07:00
2020-10-18 20:30:42 -07:00
2020-10-18 09:16:50 -07:00
2021-10-13 15:05:07 -07:00
2021-08-10 14:08:39 -07:00
2020-06-08 17:47:26 -07:00
2020-06-08 17:47:26 -07:00
2020-06-06 17:06:31 -07:00
2020-06-06 15:36:08 -07:00
2020-10-17 16:45:13 -07:00
2020-10-17 16:45:13 -07:00
2020-06-06 17:30:50 -07:00
2020-06-06 17:30:50 -07:00
2020-06-06 15:36:08 -07:00
2021-08-09 14:11:15 -07:00
2020-10-19 15:46:05 -07:00
2020-10-19 15:46:05 -07:00
2020-06-06 15:36:08 -07:00
2020-06-06 15:36:08 -07:00
2024-07-04 17:25:21 -07:00
2020-10-19 16:02:28 -07:00
2020-06-06 15:36:08 -07:00
2021-08-10 14:08:39 -07:00
2020-10-19 15:01:02 -07:00
2020-10-19 17:14:56 -07:00
2021-07-20 11:28:26 -07:00
2020-06-06 15:36:08 -07:00
2020-06-06 15:36:08 -07:00
2020-11-03 11:47:53 -08:00
2020-08-22 08:56:38 -07:00
2020-06-06 15:36:08 -07:00
2020-06-06 15:36:08 -07:00
2020-07-10 17:41:38 -07:00
2020-07-05 17:17:44 -07:00
2020-07-05 17:17:44 -07:00
2020-07-20 13:50:49 -07:00
2020-07-10 17:41:38 -07:00
2020-07-05 17:17:44 -07:00
2020-07-10 15:53:43 -07:00
2020-10-11 18:43:00 -07:00
2021-08-01 17:21:20 -07:00
2021-10-09 10:08:14 -07:00
2021-10-02 15:43:41 -07:00
2021-10-07 12:39:30 -07:00
2021-10-27 20:23:34 -07:00
2024-04-21 16:26:42 -07:00
2024-05-21 14:14:32 -07:00
2024-05-31 14:22:39 -07:00
2018-09-28 10:05:11 -07:00
2018-09-28 10:05:11 -07:00
2018-09-28 10:05:11 -07:00
2020-10-10 18:34:19 -07:00
83da0d952c