Author: mareshkau Date: 2007-07-17 08:18:02 -0400 (Tue, 17 Jul 2007) New Revision: 2460 Modified: trunk/vpe/plugins/org.jboss.tools.vpe/src/org/jboss/tools/vpe/editor/VpeEditorPart.java Log: add functionality for http://jira.jboss.com/jira/browse/JBIDE-531 Modified: trunk/vpe/plugins/org.jboss.tools.vpe/src/org/jboss/tools/vpe/editor/VpeEditorPart.java =================================================================== --- trunk/vpe/plugins/org.jboss.tools.vpe/src/org/jboss/tools/vpe/editor/VpeEditorPart.java 2007-07-17 12:08:02 UTC (rev 2459) +++ trunk/vpe/plugins/org.jboss.tools.vpe/src/org/jboss/tools/vpe/editor/VpeEditorPart.java 2007-07-17 12:18:02 UTC (rev 2460) @@ -65,6 +65,7 @@ private EditorPart multiPageEditor; private static final QualifiedName SPLITTER_POSITION_KEY1 = new QualifiedName("", "splitter_position1"); private static final QualifiedName SPLITTER_POSITION_KEY2 = new QualifiedName("", "splitter_position2"); + private static final QualifiedName SPLITTER_POSITION_KEY3 = new QualifiedName("", "splitter_position3"); private int controlCount = 0; /** default web-browser */ @@ -220,7 +221,7 @@ } protected int[] loadSplitterPosition() { - int[] sizes = new int[2]; + int[] sizes = new int[3]; try { IEditorInput input = getEditorInput(); if(!(input instanceof IFileEditorInput)) return null; @@ -233,6 +234,10 @@ if (s != null) { sizes[1] = Integer.parseInt(s); }else return null; + s = file.getPersistentProperty(SPLITTER_POSITION_KEY3); + if (s != null) { + sizes[2] = Integer.parseInt(s); + }else return null; } catch (Exception e) { VpePlugin.getPluginLog().logError(e); return null; @@ -249,6 +254,8 @@ file.setPersistentProperty(SPLITTER_POSITION_KEY1, s); s = String.valueOf(weights[1]); file.setPersistentProperty(SPLITTER_POSITION_KEY2, s); + s = String.valueOf(weights[2]); + file.setPersistentProperty(SPLITTER_POSITION_KEY3, s); } catch (Exception e) { VpePlugin.getPluginLog().logError(e); }