Juergen Spitzmueller 0b54650f0e tex2lyx: improve module support
The current heuristics only considered modules with styles that defined
a searched command in their preamble, and only for commands/environments
that were defined in the document's preamble. This limited the module
support drastically.

The new heuristics also checks for commands coming from packages. If the
command is not (re-)defined in the document preamble, it checks modules
that provide a style with a matching LaTeXName, checks for their
requirements and matches those with the packages loaded by the document.

If no module provides a searched style, but we found modules that load
packages that are loaded in the imported tex file, and if those packages
are not auto-loaded by LyX anyway, we also load this module.

fixes: #11259, part of #8229
2019-04-04 16:01:07 +02:00
..
2019-03-25 16:46:03 +01:00
2019-04-04 16:01:07 +02:00
2017-07-03 13:46:30 -04:00
2018-08-14 17:05:40 +02:00
2019-04-03 17:58:20 +02:00
2018-12-06 10:30:58 +01:00
2018-02-18 09:19:03 +01:00
2016-05-29 17:55:45 -04:00
2018-02-23 23:17:57 -05: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-07-03 13:46:30 -04:00
2017-07-03 13:46:30 -04:00
2018-05-05 15:26:58 +02:00
2015-11-20 22:43:45 +01:00
2018-12-16 12:30:48 +01:00
2017-07-03 13:46:30 -04:00
2015-10-10 21:38:17 +02:00
2018-12-17 15:33:47 +01:00
2017-07-03 13:46:30 -04:00
2018-01-30 12:11:22 +01:00
2019-03-24 17:28:01 +01:00
2017-03-01 16:34:01 +01:00
2018-02-24 00:30:24 -05:00
2017-07-03 13:46:30 -04:00
2018-12-26 15:46:14 +01:00
2018-12-14 11:41:16 +01:00
2019-03-26 13:43:33 +01:00
2018-04-20 23:37:58 -04:00
2017-07-03 13:46:30 -04: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
2018-08-05 10:01:36 +02:00
2018-08-05 10:01:36 +02:00
2018-07-15 20:56:55 +02:00
2017-07-03 13:46:30 -04:00
2018-01-28 23:37:20 -05:00
2017-07-03 13:46:30 -04:00
2019-03-21 12:58:16 +01:00
2019-03-08 16:48:49 +01:00
2018-10-07 14:56:55 +02:00
2016-06-26 14:26:35 +02:00
2017-07-03 13:46:30 -04:00
2015-12-05 19:33:24 +00:00
2017-11-11 13:24:08 +01:00
2017-07-03 13:46:30 -04:00
2019-02-18 15:47:27 +01:00
2018-09-20 11:58:08 +02:00
2018-08-07 17:56:07 +02:00
2017-08-03 13:07:41 +02:00
2016-07-31 18:34:33 +01:00
2017-07-03 13:46:30 -04:00
2016-10-23 00:25:05 +02:00
2018-12-06 10:30:58 +01:00
2019-03-26 17:42:56 +01:00
2019-03-26 17:42:56 +01:00
2019-03-12 16:03:22 +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-05-02 12:38:40 +02:00
2017-07-03 13:46:30 -04:00
2016-12-31 15:29:43 +01:00