The commit that fixed the bug had the following code:
if (sashWeights[1] / (float)sashWeights[0] < 0.15) {
sashWeights[0] = 85;
sashWeights[1] = 15;
}
So it appears that there are multiple sash weights for the HTMLWodTab and they
are percentages and the sum of the two panes should add up to 100.
I don’t know if that info helps at all… There might be another preference that
is involved in the process, but I’m not sure what to tell you to search for.
I’ll look at mine and let you know what I find.
Dave
> On Apr 30, 2015, at 10:56 AM, Gavin Eadie <[email protected]> wrote:
>
> .. sadly, this is only a brief respite. This file
> (org.objectstyle.wolips.wodclipse.core.prefs) is recreated, with the same
> contents, and has to be deleted each time before I launch Eclipse. I can
> live with this if my case is worth exploring for the true cause, or I can
> start over with a new workspace. If Dave/Hugi want to work with me on this,
> we can go off-list for that, else I'll start afresh.
>
> cat org.objectstyle.wolips.wodclipse.core.prefs
> eclipse.preferences.version=1
> org.objectstyle.wolips.componenteditor.sashWeights=1000
>
> On Wed, Apr 29, 2015 at 7:34 PM, Gavin Eadie <[email protected]
> <mailto:[email protected]>> wrote:
>
> On Wed, Apr 29, 2015 at 7:20 PM, Hugi Thordarson <[email protected]
> <mailto:[email protected]>> wrote:
> .metadata/.plugins/org.eclipse.core.runtime/.settings/
>
> deleting this file fixed the problem .. many thanks.
>
> The file contained the following:
>
> gavin$ cat org.objectstyle.wolips.wodclipse.core.prefs
> eclipse.preferences.version=1
> org.objectstyle.wolips.componenteditor.sashWeights=1000
>
>
>
—————————————————————————————
WebObjects - so easy that even Dave Avendasora can do it!™
—————————————————————————————
David Avendasora
Senior Software Abuser
Nekesto, Inc.
_______________________________________________
Do not post admin requests to the list. They will be ignored.
Webobjects-dev mailing list ([email protected])
Help/Unsubscribe/Update your Subscription:
https://lists.apple.com/mailman/options/webobjects-dev/archive%40mail-archive.com
This email sent to [email protected]
