Changeset 14974

Timestamp:

07/01/08 08:36:14 (5 years ago)

Author:

daisuke_m

Message:

終了時、sashFormの分割割合を記録し、起動時に再現するようにした。

Location:

lang/java/sabotter/trunk/src/jp/xet/eclipse/sabotter/views

Files:

• SabotterState.java (modified) (2 diffs)
• SabotterView.java (modified) (3 diffs)

lang/java/sabotter/trunk/src/jp/xet/eclipse/sabotter/views/SabotterState.java

@@ -19 +19 @@
         
         private Map<String, String[]> tagMap;
+        
+        private int[] sashWeights;
+        
+        private int[] windowSize;
         
 
@@ -44 +48 @@
                 return tagMap;
         }
+        
+        public void setSashWeights(int[] weights) {
+                this.sashWeights = weights;
+        }
+        
+        public int[] getSashWeights() {
+                if (sashWeights == null || sashWeights.length == 0) {
+                        sashWeights = new int[] {
+                                3,
+                                1
+                        };
+                }
+                return sashWeights;
+        }
+        
+        public int[] getWindowSize() {
+                return windowSize;
+        }
+        
+        public void setWindowSize(int[] windowSize) {
+                this.windowSize = windowSize;
+        }
 }

lang/java/sabotter/trunk/src/jp/xet/eclipse/sabotter/views/SabotterView.java

@@ -273 +273 @@
          */
         public void saveSabotterState() {
+                state.setSashWeights(sash.getWeights());
                 String xml = new XStream().toXML(state);
                 pref.setSabotterState(xml);
@@ -327 +328 @@
         public void createPartControl(Composite parent) {
                 baloon = new ToolTip(getSite().getShell(), SWT.BALLOON | SWT.ICON_INFORMATION);
-                baloon.setText("Sabotter New Arrival"); // TODO to resource file
+                baloon.setText("Sabotter New Arrival"); // TODO to resource file
                 
                 sash = new SashForm(parent, SWT.VERTICAL | SWT.BORDER);
@@ -337 +338 @@
                 detailArea.setLayout(new GridLayout());
                 
-                sash.setWeights(new int[] {
-                        3,
-                        1
-                });
+                sash.setWeights(state.getSashWeights());
                 
                 createListArea(listArea);