Re: Faithful LyX2XML conversion

2012-12-25 Thread Nico Williams
On Tue, Dec 25, 2012 at 7:50 PM, Pavel Sanda wrote: > I think we can support your converter via recognition in configure.py > so XML convertor appears in View/Export menus when installed. > We can also put it in contrib section on our ftp server, if you would like. I've filed a request for enhanc

Re: Faithful LyX2XML conversion

2012-12-25 Thread Pavel Sanda
Hi Nico, Nico Williams wrote: > My script works around all those issues and is complete enough (if a > bit ugly) that I can show it to you folks and let you decide if this > is something that you want to pursue. Personally I'm convinced that > is a truly faithful-to-the-original-.lyx XML export f

Re: svg or higher-res .png icons?

2012-12-25 Thread Scott Kostyshak
On Tue, Dec 25, 2012 at 6:41 AM, Enrico Forestieri wrote: > On Tue, Dec 25, 2012 at 01:55:52AM -0500, Scott Kostyshak wrote: >> On Mon, Dec 24, 2012 at 9:14 PM, Enrico Forestieri wrote: >> > >> > What about the attached? >> >> They look good to me. I made the arrows one-sided and the four buttons

Faithful LyX2XML conversion

2012-12-25 Thread Nico Williams
I've some code that works for my sample .lyx files, though these, admittedly, don't really exercise the full power of LyX. The code is here: https://github.com:/nicowilliams/lyx -- look in lib/lyx2lyx/, there's three new files: lyx2xml, lyx2xml.py, and xml_streamer.py. Here's what works: - meta

Re: svg or higher-res .png icons?

2012-12-25 Thread Pavel Sanda
Scott Kostyshak wrote: > On Mon, Dec 24, 2012 at 7:40 AM, Pavel Sanda wrote: > > Scott Kostyshak wrote: > >> Are there .svg or higher-res .png of the icons? In particular: > >> tabular-feature_append-row.png > >> tabular-feature_append-column.png > > > > :) I wouldn't be surprised if those images

Re: svg or higher-res .png icons?

2012-12-25 Thread Enrico Forestieri
On Tue, Dec 25, 2012 at 03:47:02AM -0800, Jürgen Spitzmüller wrote: > Enrico Forestieri wrote: > > Please, see whether you like the attached ones. > > Can you provide the sources for all these icons? I don't have any. All images are reworked from libreoffice pngs using gimp. -- Enrico

Re: svg or higher-res .png icons?

2012-12-25 Thread Jürgen Spitzmüller
Enrico Forestieri wrote: > Please, see whether you like the attached ones. Can you provide the sources for all these icons? Jürgen

Re: svg or higher-res .png icons?

2012-12-25 Thread Enrico Forestieri
On Tue, Dec 25, 2012 at 01:55:52AM -0500, Scott Kostyshak wrote: > On Mon, Dec 24, 2012 at 9:14 PM, Enrico Forestieri wrote: > > > > What about the attached? > > They look good to me. I made the arrows one-sided and the four buttons > are attached. They look consistent enough to me with the other