Re: [LyX/master] Implement ui style selection dialog 12832

Am Mi., 11. Okt. 2023 um 20:54 Uhr schrieb Pavel Sanda: > On Wed, Oct 11, 2023 at 06:47:10PM +0200, Eugene Chornyi wrote: > > commit 072ba7bd2e1ac7514117fafee3143b0bfb8796eb > > Author: Eugene Chornyi > > Date: Wed Oct 11 20:06:52 2023 +0200 > > > > Implement ui style selection dialog 12832

Re: [PATCH] Added some options to configure.py allowing for faster partial-reconfigures.

On Wed, Oct 11, 2023 at 04:17:30PM +0200, Thibaut Cuvelier wrote: > On Wed, 11 Oct 2023 at 11:03, Pavel Sanda wrote: > > > On Tue, Oct 10, 2023 at 02:38:01PM +0200, Jürgen Spitzmüller wrote: > > >> 4) *lot* of latex packages > > > All we query is needed for something for sure. > > > > Let's

Re: [LyX/master] Implement ui style selection dialog 12832

On Wed, Oct 11, 2023 at 06:47:10PM +0200, Eugene Chornyi wrote: > commit 072ba7bd2e1ac7514117fafee3143b0bfb8796eb > Author: Eugene Chornyi > Date: Wed Oct 11 20:06:52 2023 +0200 > > Implement ui style selection dialog 12832 > --- > lib/RELEASE-NOTES |4 ++ >

Re: [PATCH] Added some options to configure.py allowing for faster partial-reconfigures.

On Wed, 11 Oct 2023 at 11:03, Pavel Sanda wrote: > On Tue, Oct 10, 2023 at 02:38:01PM +0200, Jürgen Spitzmüller wrote: > >> 4) *lot* of latex packages > > All we query is needed for something for sure. > > Let's stick with point 4. > > By *needed* you mean that we have e.g. some specific feature

Re: [PATCH] Added some options to configure.py allowing for faster partial-reconfigures.

On Tue, Oct 10, 2023 at 02:38:01PM +0200, Jürgen Spitzmüller wrote: >> 4) *lot* of latex packages > All we query is needed for something for sure. Let's stick with point 4. By *needed* you mean that we have e.g. some specific feature requiring it for proper typesetting (I agree with that) or