Juergen Spitzmueller 26ea1e1496 Align fontenc with document fonts
Following a request by Günter, we consider the document fonts (only rm
for now) when selecting an appropriate font encoding.

See #9741

The new default font encoding setting "auto" does

* consider the font encoding needed by the language(s), which can now
  have fallback alternatives
* Consider which font encoding is provided by the document font

Thus, cm now will result in OT1 fontenc, if the language can deal with
that.

The font_enc pref is ditched: it is no longer needed.

The automatism is still very basic and is subject to extension.

File format and prefs format change.
2018-04-22 19:06:46 +02:00
..
2016-06-16 22:05:56 +02:00
2017-10-16 10:03:05 +02:00
2018-01-31 21:13:43 +01:00
2018-01-24 01:04:14 +01:00
2018-04-22 19:06:46 +02:00
2018-03-26 10:41:49 -04:00
2018-02-23 08:58:16 +01:00
2018-01-31 21:13:43 +01:00