Juergen Spitzmueller
c7efb677f8
New InsetLayout tag ParbreakIgnored
...
This effectively allow paragraph breaks in insets only for cosmetic
reasons (e.g., to align contents on different lines).
This is the last change necessary for an enhanced covington gloss support
(which uses the new covington gloss ui)
2019-06-02 18:16:30 +02:00
..
2019-05-08 21:29:01 +02:00
2017-12-14 18:50:56 +01:00
2019-05-08 21:29:01 +02:00
2018-12-27 10:41:10 +01:00
2019-05-08 21:29:01 +02:00
2019-05-08 21:29:01 +02:00
2019-06-02 18:16:30 +02:00
2019-05-08 21:29:01 +02:00
2019-04-20 21:39:49 +02:00
2019-05-08 21:29:01 +02:00
2019-05-08 21:29:01 +02:00
2019-05-08 21:29:01 +02:00
2019-05-08 21:29:01 +02:00
2019-05-08 21:29:01 +02:00
2019-05-08 21:29:01 +02:00
2019-05-08 21:29:01 +02:00
2019-05-16 13:48:07 +02:00
2019-05-08 21:29:01 +02:00
2019-05-08 21:29:01 +02:00
2019-05-08 21:29:01 +02:00
2019-05-08 21:29:01 +02:00
2019-05-08 21:29:01 +02:00
2019-04-28 22:45:51 +02:00
2019-05-08 21:29:01 +02:00
2019-05-08 21:29:01 +02:00
2019-05-08 21:29:01 +02:00
2019-05-08 21:29:01 +02:00
2019-03-25 16:46:04 +01:00
2019-05-08 21:29:01 +02:00
2018-01-29 01:35:23 +01:00
2016-07-05 02:27:36 +02:00
2018-01-10 02:12:40 +01:00
2017-12-07 00:27:45 +01:00
2017-11-27 02:43:14 +01:00
2018-01-12 04:54:03 +01:00
2019-06-02 18:16:30 +02:00
2019-05-08 21:29:01 +02:00
2017-07-29 11:33:24 +02:00
2019-05-08 21:29:01 +02:00
2019-05-08 21:29:01 +02:00
2010-09-18 18:03:55 +00:00
2019-05-08 21:29:01 +02:00
2019-05-08 21:29:01 +02:00
2019-05-08 21:29:01 +02:00
2019-05-08 21:29:01 +02:00
2019-05-08 21:29:01 +02:00
2018-03-09 05:53:39 +01:00
2019-05-08 21:29:01 +02:00
2019-05-08 21:29:01 +02:00
2019-05-08 21:29:01 +02:00
2013-01-12 19:44:08 +01:00
2019-05-08 21:29:01 +02:00
2019-05-31 15:46:58 +02:00