Re: prefs.editor_size ignored?

Nikolaus Rath <nrath-GBHt0Lb9jDujYgHvJn/[email protected]> Wed, 9 Oct 2013 09:54:35 -0700

Newsgroups	gmane.comp.graphics.ipe.general
Organization	Tri Alpha Energy
Message-ID	<[email protected]>

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