On Sun, Jun 11, 2017 at 10:57:18PM +0200, Kornel Benko wrote:
> Am Sonntag, 11. Juni 2017 um 22:19:15, schrieb Enrico Forestieri
>
> > On Sun, Jun 11, 2017 at 07:23:45PM +0200, Jürgen Spitzmüller wrote:
> > > Am Sonntag, den 11.06.2017, 18:32 +0200 schrieb Enrico Forestieri:
> >
On Sun, Jun 11, 2017 at 10:19:15PM +0200, Enrico Forestieri wrote:
>
> Maybe, the only sensible thing to do is checking for a pygmentize command
> and, if not found, warn the user but don't disable the widget.
Something like the attached.
--
Enrico
diff --git a/lib/configure.py
Am Sonntag, 11. Juni 2017 um 22:19:15, schrieb Enrico Forestieri
> On Sun, Jun 11, 2017 at 07:23:45PM +0200, Jürgen Spitzmüller wrote:
> > Am Sonntag, den 11.06.2017, 18:32 +0200 schrieb Enrico Forestieri:
> > > > I also think this widget should be disabled if not all necessary
>
On Sun, Jun 11, 2017 at 07:23:45PM +0200, Jürgen Spitzmüller wrote:
> Am Sonntag, den 11.06.2017, 18:32 +0200 schrieb Enrico Forestieri:
> > > I also think this widget should be disabled if not all necessary
> > > packages are installed.
> >
> > This is problematic, because we should check for
Le 10/06/2017 à 00:34, Scott Kostyshak a écrit :
On Thu, Jun 01, 2017 at 01:43:11PM -0400, PhilipPirrip wrote:
On 05/28/2017 08:20 AM, Guillaume MM wrote:
Here is a patch, reviews are welcome.
Can't say much about the patch, but want to confirm that LyX is not crashing
any more.
Also
On Sun, Jun 11, 2017 at 07:23:45PM +0200, Jürgen Spitzmüller wrote:
> Am Sonntag, den 11.06.2017, 18:32 +0200 schrieb Enrico Forestieri:
> > I don't think that listings is less advanced in code highlighting.
> > The advantage of minted is that it is less sensitive to the encoding.
> > All
Le 11/06/2017 à 16:23, Jürgen Spitzmüller a écrit :
And LyX should add the -shell-escape flag for
minted documents (but warn the user before issuing it).
Hi Jürgen, this is being discussed in this thread:
https://www.mail-archive.com/lyx-devel@lists.lyx.org/msg200515.html
Am Sonntag, den 11.06.2017, 18:32 +0200 schrieb Enrico Forestieri:
> I don't think that listings is less advanced in code highlighting.
> The advantage of minted is that it is less sensitive to the encoding.
> All workarounds adopted for listings are not necessary for minted.
> I also like better
Kornel Benko wrote:
> So what is Uwe doing when he is re-merging? Probably calling
> development/tools/mergepo.py.
No. The workhose for remerging translations from the source code is
po/lyx_pot.py. mergepo.py is only for merging between two branches without
ptoducing huge nonsense diffs.
> I
On Sun, Jun 11, 2017 at 04:23:45PM +0200, Jürgen Spitzmüller wrote:
> Am Sonntag, den 11.06.2017, 13:58 +0200 schrieb Enrico Forestieri:
> > - Use minted
> > + Use minted
>
> Is there a label that is less opaque to people who do not know what
> "minted" is? Something that highlights
Am Sonntag, den 11.06.2017, 13:58 +0200 schrieb Enrico Forestieri:
> - Use minted
> + Use minted
Is there a label that is less opaque to people who do not know what
"minted" is? Something that highlights the benefits one gets when
clicking this widget? E.g., "Advanced code highlighting"
On Sun, Jun 11, 2017 at 03:46:31PM +0200, Kornel Benko wrote:
> Am Sonntag, 11. Juni 2017 um 15:27:20, schrieb Enrico Forestieri
>
> > On Sun, Jun 11, 2017 at 03:21:42PM +0200, Kornel Benko wrote:
> >
> > > Am Sonntag, 11. Juni 2017 um 15:07:20, schrieb Enrico Forestieri
> > >
Am Sonntag, 11. Juni 2017 um 15:27:20, schrieb Enrico Forestieri
> On Sun, Jun 11, 2017 at 03:21:42PM +0200, Kornel Benko wrote:
>
> > Am Sonntag, 11. Juni 2017 um 15:07:20, schrieb Enrico Forestieri
> >
> > > On Sun, Jun 11, 2017 at 02:59:52PM +0200, Kornel
Am Sonntag, 11. Juni 2017 um 15:24:09, schrieb Enrico Forestieri
> On Sun, Jun 11, 2017 at 03:18:43PM +0200, Kornel Benko wrote:
>
> > Am Sonntag, 11. Juni 2017 um 15:07:20, schrieb Enrico Forestieri
> >
> > > On Sun, Jun 11, 2017 at 02:59:52PM +0200, Kornel
On Sun, Jun 11, 2017 at 03:21:42PM +0200, Kornel Benko wrote:
> Am Sonntag, 11. Juni 2017 um 15:07:20, schrieb Enrico Forestieri
>
> > On Sun, Jun 11, 2017 at 02:59:52PM +0200, Kornel Benko wrote:
> >
> > > Am Sonntag, 11. Juni 2017 um 14:03:07, schrieb Enrico Forestieri
> > >
On Sun, Jun 11, 2017 at 03:18:43PM +0200, Kornel Benko wrote:
> Am Sonntag, 11. Juni 2017 um 15:07:20, schrieb Enrico Forestieri
>
> > On Sun, Jun 11, 2017 at 02:59:52PM +0200, Kornel Benko wrote:
> >
> > > Am Sonntag, 11. Juni 2017 um 14:03:07, schrieb Enrico Forestieri
> > >
Am Sonntag, 11. Juni 2017 um 15:07:20, schrieb Enrico Forestieri
> On Sun, Jun 11, 2017 at 02:59:52PM +0200, Kornel Benko wrote:
>
> > Am Sonntag, 11. Juni 2017 um 14:03:07, schrieb Enrico Forestieri
> >
> > > commit 570ad4219eb4394399c4dc9d57a0ab76f8242047
> >
Am Sonntag, 11. Juni 2017 um 15:07:20, schrieb Enrico Forestieri
> On Sun, Jun 11, 2017 at 02:59:52PM +0200, Kornel Benko wrote:
>
> > Am Sonntag, 11. Juni 2017 um 14:03:07, schrieb Enrico Forestieri
> >
> > > commit 570ad4219eb4394399c4dc9d57a0ab76f8242047
> >
On Sun, Jun 11, 2017 at 02:59:52PM +0200, Kornel Benko wrote:
> Am Sonntag, 11. Juni 2017 um 14:03:07, schrieb Enrico Forestieri
>
> > commit 570ad4219eb4394399c4dc9d57a0ab76f8242047
> > Author: Enrico Forestieri
> > Date: Sun Jun 11 14:02:02 2017 +0200
> >
>
Am Sonntag, 11. Juni 2017 um 14:03:07, schrieb Enrico Forestieri
> commit 570ad4219eb4394399c4dc9d57a0ab76f8242047
> Author: Enrico Forestieri
> Date: Sun Jun 11 14:02:02 2017 +0200
>
> Remerge strings again after last change
>
This remerging in the repo
On Sun, Jun 11, 2017 at 11:40:55AM +0200, Enrico Forestieri wrote:
> On Sun, Jun 11, 2017 at 11:30:08AM +0200, Enrico Forestieri wrote:
>
> > On Sun, Jun 11, 2017 at 10:44:49AM +0200, Enrico Forestieri wrote:
> >
> > > On Sun, Jun 11, 2017 at 10:40:34AM +0200, Enrico Forestieri wrote:
> > >
>
On Sun, Jun 11, 2017 at 11:30:08AM +0200, Enrico Forestieri wrote:
> On Sun, Jun 11, 2017 at 10:44:49AM +0200, Enrico Forestieri wrote:
>
> > On Sun, Jun 11, 2017 at 10:40:34AM +0200, Enrico Forestieri wrote:
> >
> > > commit ab47e48dcc525ed30b4e89b782d2ce5c81ca01c5
> > > Author: Enrico
On Sun, Jun 11, 2017 at 10:44:49AM +0200, Enrico Forestieri wrote:
> On Sun, Jun 11, 2017 at 10:40:34AM +0200, Enrico Forestieri wrote:
>
> > commit ab47e48dcc525ed30b4e89b782d2ce5c81ca01c5
> > Author: Enrico Forestieri
> > Date: Sun Jun 11 10:38:44 2017 +0200
> >
> >
Am Sonntag, 11. Juni 2017 um 08:55:11, schrieb Georg Baum
> Kornel Benko wrote:
>
> > Am Samstag, 10. Juni 2017 um 10:41:43, schrieb Georg Baum
> >>
> >> I would suggest to use git correctly instead of fixing broken line ends
> >> again and again, producing huge
On Sun, Jun 11, 2017 at 10:40:34AM +0200, Enrico Forestieri wrote:
> commit ab47e48dcc525ed30b4e89b782d2ce5c81ca01c5
> Author: Enrico Forestieri
> Date: Sun Jun 11 10:38:44 2017 +0200
>
> Change the name of the "List of listings" for minted
>
> I actually checked
Am Sonntag, 11. Juni 2017 um 09:09:10, schrieb Jean-Pierre Chrétien
> Le 10/06/2017 à 18:55, Jean-Pierre Chrétien a écrit :
>
> >
> > French does not seem to be concerned by this call, but I reviewed one more
> > time
> > the file and I have a doubt about the
Le 10/06/2017 à 18:55, Jean-Pierre Chrétien a écrit :
French does not seem to be concerned by this call, but I reviewed one more time
the file and I have a doubt about the translation of
"Listings[[List of Listings]]"
Does this refer to the word "Listings" as it appears in the List of
Kornel Benko wrote:
> Am Samstag, 10. Juni 2017 um 10:41:43, schrieb Georg Baum
>>
>> I would suggest to use git correctly instead of fixing broken line ends
>> again and again, producing huge nonsense diffs. We had this discussion
>> several times in the past.
>>
>
> Maybe a problem in merging
28 matches
Mail list logo