[Ipe-discuss] prefs.editor_size ignored?

[Otfried Cheong]

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

Cheers,
  Otfried