Re: [patch] ditch date-insert

2018-08-18 Thread Pavel Sanda
Jürgen Spitzmüller wrote: > The attached patch strips date-insert (and the related rc entry and > helper functions) from master. The function is obsoleted by the more > flexible and powerful date info-insets. > > Objections? Good move. Pavel

Re: [LyX/master] Update info-insert documentation

2018-08-18 Thread Pavel Sanda
Jürgen Spitzmüller wrote: > Am Freitag, den 17.08.2018, 20:31 +0200 schrieb Jürgen Spitzmüller: > > > - Insert menu now contains field submenu. Perhaps we could add > > > revision info menu entry in case VCS is used? Or we could put it > > > into > > > File Version Control, no strong opinion. > >

Re: Problem outputing usepakage for fonts

2018-08-18 Thread Jürgen Spitzmüller
Am Freitag, den 17.08.2018, 21:20 +0200 schrieb Kornel Benko: > ... > This looks all OK, but when looking int the outed latex-preamble: > ... > \documentclass[english]{article} > \usepackage{DejaVuSerif} > \usepackage[extralight,scale=0.8]{plex-sans} > \usepackage[semibold,scale=0.7]{plex-mono} >

Re: [LyX/master] Update info-insert documentation

2018-08-18 Thread Jürgen Spitzmüller
Am Freitag, den 17.08.2018, 20:31 +0200 schrieb Jürgen Spitzmüller: > > - Insert menu now contains field submenu. Perhaps we could add > > revision info menu entry in case VCS is used? Or we could put it > > into > > File Version Control, no strong opinion. > > I'll have a look. Done (the

Re: [LyX/master] Added IBM Plex fonts to lyx-GUI

2018-08-18 Thread Jürgen Spitzmüller
Am Samstag, den 18.08.2018, 16:26 +0200 schrieb Kornel Benko: > commit 24050bfa30095284c0835dd2d602824df9d3f5ff > Author: Kornel Benko > Date: Sat Aug 18 16:18:03 2018 +0200 I get now Warning: An error ocurred in 561, Traceback (most recent call last): File

[patch] ditch date-insert

2018-08-18 Thread Jürgen Spitzmüller
The attached patch strips date-insert (and the related rc entry and helper functions) from master. The function is obsoleted by the more flexible and powerful date info-insets. Objections? Jürgen diff --git a/lib/RELEASE-NOTES b/lib/RELEASE-NOTES index 2a1157eea5..9fa91e3c88 100644 ---

Re: [LyX/master] Added IBM Plex fonts to lyx-GUI

2018-08-18 Thread Kornel Benko
Am Samstag, 18. August 2018 16:45:22 CEST schrieb Jürgen Spitzmüller : > Am Samstag, den 18.08.2018, 16:26 +0200 schrieb Kornel Benko: > > commit 24050bfa30095284c0835dd2d602824df9d3f5ff > > Author: Kornel Benko > > Date: Sat Aug 18 16:18:03 2018 +0200 > > I get now > > Warning: An error

Re: [patch] ditch date-insert

2018-08-18 Thread Jean-Marc Lasgouttes
Le 18 août 2018 16:26:14 GMT+02:00, "Jürgen Spitzmüller" a écrit : >The attached patch strips date-insert (and the related rc entry and >helper functions) from master. The function is obsoleted by the more >flexible and powerful date info-insets. > >Objections? >Jürgen Not from me. JMarc

Re: Problem outputing usepakage for fonts

2018-08-18 Thread Kornel Benko
Am Samstag, 18. August 2018 08:38:25 CEST schrieb Jürgen Spitzmüller : > Am Freitag, den 17.08.2018, 21:20 +0200 schrieb Kornel Benko: > > ... > > This looks all OK, but when looking int the outed latex-preamble: > > ... > > \documentclass[english]{article} > > \usepackage{DejaVuSerif} > >

Re: [patch] ditch date-insert

2018-08-18 Thread Richard Kimberly Heck
On 08/18/2018 10:26 AM, Jürgen Spitzmüller wrote: > The attached patch strips date-insert (and the related rc entry and > helper functions) from master. The function is obsoleted by the more > flexible and powerful date info-insets. Fine by me. Did we also remove, or are you also going to