Re: prefs.editor_size ignored?

On 10/14/2013 05:18 PM, Otfried Cheong wrote:
> On 10/15/2013 01:26 AM, Nikolaus Rath wrote:
>> The size of the editing dialog and the toolbar positions work perfectly
>> now. However, the automatic closing of the editing dialog when the
>> external editor exits seems to work only if the external editor was
>> invoked manually. If prefs.auto_external_editor is true, the dialog
>> still stays open after the external editor is done.
> Should be fixed in this snapshot:
>
> https://dl.dropboxusercontent.com/u/1840678/ipe-snapshot.tar.gz

Yes, it works perfectly now. Thanks!

Best,
-Nikolaus