Jean-Marc Lasgouttes
b28ec44476
Use new display() values to remove some inset hardcoding.
...
The enum is now made of flags that can be combined.
This introduces several new values for Inset::DisplayType:
BreakBefore, BreakAfter and Display=BreakBefore|BreakAfter. This
last value replaces AlignCenter.
Additionally the flags NoBoundary and CanBreakAfter are introduced for
future use.
Now a left aligned displayed inset will be defined as Display|LeftAlign.
A newline inset is characterized as BreakAfter.
This structure is used in breakRow to avoid explicit calls to
isNewline() or isEnvSeparator(). More improvements will be built on
top of this.
Additionally several redundant display() methods (which returned
Inline) have been removed.
2018-09-12 11:38:01 +02:00
..
2018-08-30 11:35:37 +02:00
2017-10-09 08:06:27 +02:00
2018-09-08 13:07:07 +02:00
2018-06-06 18:59:37 +02:00
2018-09-12 11:38:01 +02:00
2018-09-12 11:38:01 +02:00
2018-09-02 11:50:03 -04:00
2018-01-08 12:58:28 +01:00
2018-08-28 12:39:23 +02:00
2017-07-30 09:30:58 +02:00
2017-07-30 00:54:12 +02:00
2017-07-03 13:53:14 -04:00
2016-05-29 17:55:42 -04:00
2018-01-27 14:29:41 +01:00
2017-07-03 13:46:30 -04:00
2017-07-23 13:11:54 +02:00
2018-08-14 17:05:40 +02:00
2018-09-02 11:50:03 -04:00
2018-09-02 11:50:03 -04:00
2018-04-28 13:31:29 +02:00
2017-12-13 10:46:54 +01:00
2017-12-13 10:46:54 +01:00
2018-08-09 15:05:19 +02:00
2018-07-07 15:25:35 +02:00
2018-08-30 14:17:53 +02:00
2018-04-27 00:03:48 +02:00
2017-10-22 13:12:33 +02:00
2017-01-14 23:13:14 +01:00
2018-02-18 09:19:03 +01:00
2016-05-29 17:55:45 -04:00
2017-01-21 14:25:17 +01:00
2017-07-23 13:11:54 +02:00
2018-02-23 23:17:57 -05:00
2017-10-03 22:12:23 +02: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-10-16 10:12:21 +02:00
2017-07-03 13:46:30 -04:00
2017-10-16 15:48:47 -04:00
2017-07-03 13:46:30 -04:00
2018-05-05 15:26:58 +02:00
2018-04-16 14:02:20 -04:00
2017-07-23 13:11:54 +02:00
2015-11-20 22:43:45 +01:00
2015-10-19 13:17:16 +02:00
2018-07-22 12:35:05 +02:00
2018-07-22 12:35:05 +02:00
2018-08-30 14:17:53 +02:00
2018-08-30 14:17:53 +02:00
2017-07-05 14:46:34 +02:00
2017-07-03 13:46:30 -04:00
2018-07-22 23:20:21 +02:00
2018-07-22 23:20:21 +02:00
2017-03-13 17:06:42 +01:00
2017-03-20 15:38:08 +01:00
2015-10-10 21:38:17 +02:00
2016-11-16 18:33:02 +01:00
2017-07-03 13:46:30 -04:00
2018-08-30 14:17:53 +02:00
2018-08-30 14:17:53 +02:00
2017-07-23 13:11:54 +02:00
2018-01-30 12:11:22 +01:00
2018-04-28 13:31:29 +02:00
2018-04-21 12:55:11 +02:00
2017-03-01 16:34:01 +01:00
2016-10-22 23:24:01 +02:00
2018-02-24 00:30:24 -05:00
2017-07-03 13:53:14 -04:00
2017-07-03 13:46:30 -04:00
2015-05-22 18:59:17 +02:00
2015-05-22 18:59:17 +02:00
2018-07-21 15:50:35 +02:00
2018-05-05 12:02:10 -04:00
2016-11-21 00:02:35 +01:00
2018-05-07 10:15:23 +02:00
2018-05-06 19:48:21 +02:00
2017-07-03 13:53:14 -04:00
2016-05-30 14:55:41 +02:00
2018-07-04 19:52:13 +02:00
2017-03-13 23:40:29 -04:00
2018-08-20 09:25:22 +02:00
2018-04-20 23:37:58 -04:00
2018-04-21 23:05:21 -04:00
2017-07-03 13:53:14 -04:00
2017-07-03 13:46:30 -04:00
2018-03-29 18:43:11 +02:00
2018-02-23 23:47:05 -05:00
2017-07-03 13:46:30 -04:00
2018-05-28 12:33:17 +02:00
2018-05-28 12:33:17 +02:00
2017-07-03 13:53:14 -04:00
2017-07-03 13:46:30 -04:00
2017-07-03 13:53:14 -04:00
2017-07-03 13:46:30 -04:00
2018-08-05 10:01:36 +02:00
2018-08-05 10:01:36 +02:00
2018-04-14 14:33:21 +02:00
2017-12-21 18:55:39 -05:00
2018-07-25 18:01:22 +02:00
2018-07-15 20:56:55 +02:00
2018-04-22 19:06:46 +02:00
2018-04-23 18:35:11 +02:00
2018-08-17 10:22:32 +02:00
2018-08-17 10:22:32 +02:00
2016-10-21 10:39:55 +02:00
2017-07-03 13:53:14 -04:00
2017-07-03 13:46:30 -04:00
2017-07-03 13:53:14 -04:00
2018-01-28 23:37:20 -05:00
2018-01-05 20:14:04 +01:00
2018-01-05 20:14:04 +01:00
2017-07-23 13:11:54 +02:00
2017-08-29 15:30:44 +02:00
2017-07-03 13:46:30 -04:00
2018-06-04 11:39:41 +02:00
2017-03-13 23:40:29 -04:00
2018-08-20 09:25:22 +02:00
2018-08-18 16:11:08 +02:00
2018-07-22 23:20:21 +02:00
2017-07-03 13:46:30 -04:00
2018-08-20 09:25:22 +02:00
2018-08-20 09:25:22 +02:00
2017-07-03 13:53:14 -04:00
2016-10-19 11:59:47 +02:00
2017-04-12 21:19:42 +02:00
2018-08-30 11:35:37 +02:00
2018-01-05 20:14:04 +01:00
2018-07-19 23:05:00 +02:00
2016-06-26 14:26:35 +02:00
2017-07-23 13:11:54 +02:00
2017-07-03 13:46:30 -04:00
2017-07-23 13:11:54 +02:00
2018-09-10 12:29:22 +02:00
2018-05-01 14:21:05 +02:00
2018-07-15 14:26:29 +02:00
2017-10-16 21:28:44 -04:00
2017-04-05 00:01:19 +02:00
2017-07-23 13:11:54 +02:00
2017-02-04 19:23:45 +01:00
2018-04-20 18:01:16 +02:00
2015-12-05 19:33:24 +00:00
2018-07-15 19:23:19 +02:00
2018-07-15 14:26:29 +02:00
2017-11-11 13:24:08 +01:00
2017-11-11 13:24:08 +01:00
2017-07-03 13:46:30 -04:00
2018-04-08 19:02:01 +02:00
2015-09-13 19:47:21 +02:00
2017-07-03 13:53:14 -04:00
2018-01-15 17:20:34 +01:00
2018-01-15 17:20:34 +01:00
2018-09-11 16:45:48 +02:00
2018-05-06 19:48:21 +02:00
2018-08-07 17:56:07 +02:00
2017-06-11 19:51:17 +02:00
2016-07-04 10:30:19 +02:00
2016-06-09 15:21:39 +01:00
2017-12-02 10:46:46 +01:00
2017-08-03 13:07:41 +02:00
2016-07-31 18:34:33 +01:00
2017-12-23 13:27:10 +01:00
2017-12-23 13:27:10 +01:00
2017-07-03 13:46:30 -04:00
2016-10-22 23:24:01 +02:00
2016-10-23 00:25:05 +02:00
2017-07-23 13:11:54 +02:00
2017-07-23 13:11:54 +02:00
2018-07-23 23:48:52 +02:00
2018-08-20 09:25:22 +02:00
2018-07-22 23:20:21 +02:00
2018-07-22 23:20:21 +02:00
2018-08-17 10:22:32 +02:00
2018-05-27 09:57:22 +02:00
2018-09-12 11:38:01 +02:00
2018-07-01 19:18:38 +02:00
2017-07-23 13:11:54 +02:00
2015-09-20 19:43:06 +02:00
2016-06-09 15:21:39 +01:00
2017-07-03 13:53:14 -04:00
2017-01-14 23:13:14 +01: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
2018-08-30 14:17:53 +02:00
2018-08-30 14:17:53 +02:00
2018-05-02 12:38:40 +02:00
2018-01-10 10:47:48 +01:00
2017-07-03 13:46:30 -04:00
2018-08-17 10:22:32 +02:00
2017-07-03 13:53:14 -04:00
2015-07-16 21:59:15 +02:00
2017-07-03 13:53:14 -04:00
2016-12-31 15:29:43 +01:00