Index: OptionsAction.java
===================================================================
RCS file: /cvs/core/src/org/netbeans/core/actions/OptionsAction.java,v
retrieving revision 1.51
diff -r1.51 OptionsAction.java
18a19
> import javax.swing.JSplitPane;
34d34
< import org.openide.awt.SplittedPanel;
174a175,181
>         
>         public void reshape (int x, int y, int w, int h) {
>             super.reshape (x,y,w,h);
>             //issue 34104, bad sizing/split location for Chinese locales that require
>             //a larger default font size
>             split.setDividerLocation ((w / 3) + (w/7));
>         }
175a183
>         private transient JSplitPane split=null;
178,179c186,188
< 
<             SplittedPanel split = new SplittedPanel();
---
>             
>             
>             split = new JSplitPane (JSplitPane.HORIZONTAL_SPLIT);
182,186c191,192
<             split.setSplitPosition(SplittedPanel.SECOND_PREFERRED);
<             view.setPreferredSize(new Dimension(500, 450));
<             split.add(view, SplittedPanel.ADD_LEFT);
<             propertyView.setPreferredSize(new Dimension(300, 450));
<             split.add(propertyView, SplittedPanel.ADD_RIGHT);
---
>             split.setLeftComponent(view);
>             split.setRightComponent(propertyView);
244a251,276
> 
>         /** Overridden to provide a larger preferred size if the default font
>          *  is larger, for locales that require this.   */
>         public Dimension getPreferredSize() {
>             //issue 34104, bad sizing/split location for Chinese locales that require
>             //a larger default font size
>             Dimension result = super.getPreferredSize();
>             int fontsize = 
>                 javax.swing.UIManager.getFont ("Tree.font").getSize(); //NOI18N
>             if (fontsize > 11) {
>                 int factor = fontsize - 11;
>                 result.height += 15 * factor;
>                 result.width += 50 * factor;
>                 Dimension screen = Toolkit.getDefaultToolkit().getScreenSize();
>                 if (result.height > screen.height) {
>                     result.height = screen.height -30;
>                 }
>                 if (result.width > screen.width) {
>                     result.width = screen.width -30;
>                 }
>             } else {
>                 result.width += 20;
>                 result.height +=20;
>             }
>             return result;
>         }
459d490
< 
465c496,497
<                         }
---
>                        }
>