Hi Pavel,
this has been corrected.
Benjamin
On Aug 13, 2012, at 17:28 , Pavel Sanda wrote:
> Benjamin Piwowarski wrote:
>> Hi,
>>
>> I would like to propose a patch for LyX that allows using AppleScript
>> instead of the LyX server (for better OSX integration). The patch is quite
>> simple
Hi,
I have an local branch with the apple script patch ready for commit.
Unfortunately I'm a little bit busy and didn't do it already.
I'll go on soon. I had to learn to work with git - like so many others...
Stephan
Am 13.08.2012 um 22:13 schrieb Benjamin Piwowarski:
> Hi Pavel,
>
> no - ther
On 08/13/2012 05:33 PM, Pavel Sanda wrote:
Benjamin Piwowarski wrote:
Hi Pavel,
no - there is no reason, and this should be corrected. Do you want me to submit
a new patch?
Its always best to post the current version to devel list so people can
directly see and comment, and iterate until nit
Benjamin Piwowarski wrote:
> Hi Pavel,
>
> no - there is no reason, and this should be corrected. Do you want me to
> submit a new patch?
Its always best to post the current version to devel list so people can
directly see and comment,
and iterate until nitpickers are happy :) Trac attachments
Hi Pavel,
no - there is no reason, and this should be corrected. Do you want me to submit
a new patch?
Thanks,
Benjamin
On Aug 13, 2012, at 17:28 , Pavel Sanda wrote:
> Benjamin Piwowarski wrote:
>> Hi,
>>
>> I would like to propose a patch for LyX that allows using AppleScript
>> instead o
Benjamin Piwowarski wrote:
> Hi,
>
> I would like to propose a patch for LyX that allows using AppleScript instead
> of the LyX server (for better OSX integration). The patch is quite simple and
> can be found there:
>
> http://lyx.lyx.org/trac/ticket/8185
>
> it basically handles only one App
Hi,
I would like to propose a patch for LyX that allows using AppleScript instead
of the LyX server (for better OSX integration). The patch is quite simple and
can be found there:
http://lyx.lyx.org/trac/ticket/8185
it basically handles only one AppleScript command
run [COMMAND] with argument