On 2016-06-01, Jürgen Spitzmüller wrote: > [-- Type: text/plain, Encoding: quoted-printable --]
> 2016-06-01 11:43 GMT+02:00 Jürgen Spitzmüller <sp...@lyx.org>: >> Do not use LateXisms in the GUI -- we just got rid of "Use longtable". >> Instead of "Use microtype", the GUI should be something like "Enable >> micro-typographic extensions" >> And the tooltip: >> "Activates micro-typographic extensions such as character protusion and >> font expansion via the microtype package (requires pdftex or LuaTeX >> for full >> functionality)". > BTW, character protusion and font expansion are not so much a font > property, but a page layout property. > Jürgen >> Jürgen > [-- Skipped Type: text/html --]