[Ipe-discuss] prefs.editor_size ignored?

[Nikolaus Rath]

On 10/09/2013 09:52 AM, Nikolaus Rath wrote:
> Hello,
>
> I'm trying to change the default size of the editor dialog that pops up
> when editing text objects. However, it seems that the size is totally
> unaffected by the settings. If I change other settings in the same file
> (e.g. prefs.auto_external_editor), it works just fine.
[...]

In case it matters: I'm using Ipe 7.1.2 under Debian.

Best,
Nikolaus