Ticket #2412: 2412_de_fi.patch

File 2412_de_fi.patch, 23.1 KB (added by stefan, 15 years ago)

  • sophie2-platform/modules/org.sophie2.base.commons/src/test/java/org/sophie2/base/commons/gui/HorizontalJScrollPaneDemo.java

     
    4242                this.frame.setDefaultCloseOperation(JFrame.EXIT_ON_CLOSE); 
    4343                 
    4444                 
    45                 this.sophie = new CustomScrollPane(CustomScrollPane.HORIZONTAL); 
     45                this.sophie = new CustomScrollPane(CustomScrollPane.HORIZONTAL, null); 
    4646                 
    4747                this.frame.getContentPane().setLayout(new BorderLayout()); 
    4848                this.frame.getContentPane().add(this.sophie.swingComponent(), BorderLayout.CENTER); 
    … …  
    278278                this.p.add(this.buttons.get(5)); 
    279279                this.p.add(this.buttons.get(6)); 
    280280                this.p.add(this.buttons.get(7)); 
     281                this.p.setBackground(Color.white); 
    281282                this.index = 7; 
    282283                this.p.validate(); 
    283284                this.sophie.setViewportView(this.p); 
    284285                this.p.validate(); 
    285                 this.sophie.swingComponent().setBackground(Color.WHITE);         
     286                this.sophie.swingComponent().setBackground(Color.black);         
    286287        } 
    287288 
    288289        /** 

  • sophie2-platform/modules/org.sophie2.base.commons/src/test/java/org/sophie2/base/commons/gui/VerticalJScrollPaneDemo.java

     
    3333                this.frame.setDefaultCloseOperation(JFrame.EXIT_ON_CLOSE); 
    3434                 
    3535                 
    36                 CustomScrollPane sophie = new CustomScrollPane(CustomScrollPane.VERTICAL); 
     36                CustomScrollPane sophie = new CustomScrollPane(CustomScrollPane.VERTICAL, null); 
    3737                 
    3838                this.frame.setContentPane(sophie.swingComponent()); 
    3939 

  • sophie2-platform/modules/org.sophie2.base.commons/src/main/java/org/sophie2/base/commons/gui/ScrollPaneLayout.java

     
    3535         * Used for constraint for adding a component that is going to be visible all the time. 
    3636         */ 
    3737        public static final String BACKWARD = "Backward"; 
     38         
     39        /** 
     40         * Used for constraint for adding a component that is going to be used as tailing panel. 
     41         */ 
     42        public static final String TAILING = "Tailing"; 
    3843 
    3944        /** 
    4045         * Created new layout manager with specific orientation. Orientation can be 
    … …  
    5156        private Component backward; 
    5257        private Component forward; 
    5358        private Component scrollable; 
     59        private Component tailing; 
    5460        private JPanel center; 
    5561 
    5662        /** 
    … …  
    6066         
    6167 
    6268        public void addLayoutComponent(Component comp, Object constraints) { 
     69                 
    6370                if (constraints == BACKWARD) { 
    6471                        this.backward = comp; 
    6572                } 
    … …  
    7279                        this.center = (JPanel)comp; 
    7380                        this.scrollable = this.center.getComponent(0); 
    7481                } 
     82                 
     83                if (constraints == TAILING) { 
     84                        this.tailing = comp; 
     85                } 
    7586        } 
    7687 
    7788        public float getLayoutAlignmentX(Container target) { 
    … …  
    201212                                        centerDim = new Dimension(tmp.getSize().width,  
    202213                                                        parent.getSize().height - this.minimumDimension.height); 
    203214                                } 
    204  
    205215                                this.center.setSize(centerDim); 
    206216                                this.scrollable.setSize(tmp); 
    207  
     217                                 
    208218                                if (this.orientation) { 
    209219                                        if (this.scrollable.getPreferredSize().width <= 
    210220                                                -this.scrollable.getX() + centerDim.width) { 
    … …  
    234244                                } else { 
    235245                                        this.backward.setEnabled(true); 
    236246                                } 
     247                                 
     248                                if (this.tailing != null) { 
     249                                        this.tailing.setSize(0, 0); 
     250                                } 
    237251                        } else { 
    238252 
    239253                                this.backward.setSize(0, 0); 
    … …  
    241255 
    242256                                this.center.setLocation(0, 0); 
    243257                                this.scrollable.setLocation(0, 0); 
     258                                 
     259                                if (this.tailing != null) { 
     260                                        if (this.orientation) { 
     261                                                this.tailing.setSize(parentDim.width - scrollableDim.width, parentDim.height); 
     262                                                this.tailing.setLocation(this.scrollable.getX() + scrollableDim.width, this.scrollable.getY()); 
     263                                                 
     264                                        } else { 
     265                                                this.tailing.setSize(parentDim.width, parentDim.height - scrollableDim.height); 
     266                                                this.tailing.setLocation(this.scrollable.getX(), this.scrollable.getY() + scrollableDim.height); 
     267                                        } 
     268                                } 
    244269 
    245270                                tmp = scrollableDim; 
    246271                                this.center.setSize(tmp); 

  • sophie2-platform/modules/org.sophie2.base.commons/src/main/java/org/sophie2/base/commons/gui/CustomScrollPane.java

     
    2323 * forward and backward. The component to be scrolled is the viewport view of 
    2424 * the scroll pane. The viewport if this part of the scroll pane in which the viewport view will be visualized. 
    2525 *  
    26  * @author tanya 
     26 * @author tanya, stefan 
    2727 */ 
    2828public class CustomScrollPane extends BaseProObject { 
    2929         
    … …  
    7070         
    7171        private Timer forwardScrollTimer; 
    7272        private Timer backwardScrollTimer; 
    73          
     73 
     74        private static final int ICON_WIDTH = 19; 
     75        private static final int ICON_HEIGHT = 44; 
    7476        /** 
    7577         * Constructs a scroll pane with given orientation. The values of the 
    7678         * orientation can be {@link #HORIZONTAL} or {@link #VERTICAL}. If the value 
    … …  
    8284         *            <b>true</b> if components should be laid out from left to 
    8385         *            right, <b>false</b> if components should be laid out from top 
    8486         *            to bottom. 
     87         * @param tailingPanel 
     88         *            a {@link JPanel} that is used to be used as a tailing panel of 
     89         *            the scroll pane - <b>null</b> if not needed. (it is mainly 
     90         *            used for the application tab bar). 
    8591         *  
    8692         */ 
    87         public CustomScrollPane(boolean orientation) { 
     93        public CustomScrollPane(boolean orientation, JPanel tailingPanel) { 
    8894                this.orientation = orientation; 
    8995 
    9096                if (this.orientation) { 
    91                         this.backwardArrow = new JButton("<"); 
    92                         this.forwardArrow = new JButton(">"); 
     97                        this.backwardArrow = new JButton(); 
     98                        this.forwardArrow = new JButton(); 
     99                         
    93100                } else { 
    94101                        this.backwardArrow = new JButton("^"); 
    95102                        this.forwardArrow = new JButton("v"); 
    … …  
    99106                this.scrollPane.add(this.backwardArrow, ScrollPaneLayout.BACKWARD); 
    100107                this.scrollPane.add(this.forwardArrow, ScrollPaneLayout.FORWARD); 
    101108                 
     109                if (tailingPanel != null) { 
     110                        this.scrollPane.add(tailingPanel, ScrollPaneLayout.TAILING); 
     111                } 
     112                 
    102113                setupTimers(); 
    103114                setup(); 
    104115        } 
    105116         
     117        /** 
     118         * Sets the names of the buttons, for skinning use 
     119         *  
     120         * @param backwardName 
     121         *            The name for the backward button. 
     122         * @param forwardName 
     123         *            The name for the forward button. 
     124         */ 
     125        public void setNames(String backwardName, String forwardName) { 
     126                this.backwardArrow.setName(backwardName); 
     127                this.backwardArrow.setPreferredSize(new Dimension(ICON_WIDTH, ICON_HEIGHT)); 
     128                this.forwardArrow.setName(forwardName); 
     129                this.forwardArrow.setPreferredSize(new Dimension(ICON_WIDTH, ICON_HEIGHT)); 
     130        } 
     131         
    106132        private void setupTimers() { 
    107133                this.forwardScrollTimer = new Timer(this.delay, new ActionListener() { 
    108134 

  • sophie2-platform/modules/org.sophie2.base.layout/src/main/java/org/sophie2/base/layout/impl/DefaultMainWindow.java

     
    139139                } 
    140140                return getBean().makeProp(tabBar.class); 
    141141        } 
    142  
     142         
    143143        public RwProp<MainWindowOptions> mainWindowOptions() { 
    144144                return getBean().makeValueProp("mainWindowOptions", MainWindowOptions.class, 
    145145                                MainWindowOptions.DEFAULT_OPTIONS); 

  • sophie2-platform/modules/org.sophie2.main.skin.alternative/src/main/resources/lookandfeel_java6.xml

     
    119119        <bind style="buttonStyle" type="region" key="button" /> 
    120120 
    121121        <!-- ================================= --> 
     122        <!-- CUSTOM SCROLL PANE LEFT BUTTON --> 
     123        <!-- ================================= --> 
     124        <style id="customScrollPaneButtonLeftStyle"> 
     125                <state value="ENABLED"> 
     126                        <imagePainter method="buttonBackground" path="/resources/customScrollPane/btnDTBScrollLeft.png" 
     127                                sourceInsets="5 5 5 5" /> 
     128                </state> 
     129                <state value="FOCUSED"> 
     130                        <imagePainter method="buttonBackground" path="/resources/customScrollPane/btnDTBScrollLeft_focused.png" 
     131                                sourceInsets="5 5 5 5" /> 
     132                </state> 
     133                <state value="PRESSED"> 
     134                        <imagePainter method="buttonBackground" path="/resources/customScrollPane/btnDTBScrollLeft_pressed.png" 
     135                                sourceInsets="5 5 5 5" /> 
     136                </state> 
     137                <state value="MOUSE_OVER"> 
     138                        <imagePainter method="buttonBackground" path="/resources/customScrollPane/btnDTBScrollLeft_over.png" 
     139                                sourceInsets="5 5 5 5" /> 
     140                </state> 
     141                <state value="DISABLED"> 
     142                        <imagePainter method="buttonBackground" path="/resources/customScrollPane/btnDTBSScroll_disabled.png" 
     143                                sourceInsets="5 5 5 5" /> 
     144                </state> 
     145        </style> 
     146        <!-- Bind buttonStyle to all JButtons --> 
     147        <bind style="customScrollPaneButtonLeftStyle" type="name" key="customScrollPaneLeftButton" /> 
     148 
     149        <!-- ================================= --> 
     150        <!-- CUSTOM SCROLL PANE RIGHT BUTTON --> 
     151        <!-- ================================= --> 
     152        <style id="customScrollPaneButtonRightStyle"> 
     153                <state value="ENABLED"> 
     154                        <imagePainter method="buttonBackground" path="/resources/customScrollPane/btnDTBScrollRight.png" 
     155                                sourceInsets="5 5 5 5" /> 
     156                </state> 
     157                <state value="FOCUSED"> 
     158                        <imagePainter method="buttonBackground" path="/resources/customScrollPane/btnDTBScrollRight_focused.png" 
     159                                sourceInsets="5 5 5 5" /> 
     160                </state> 
     161                <state value="PRESSED"> 
     162                        <imagePainter method="buttonBackground" path="/resources/customScrollPane/btnDTBScrollRight_pressed.png" 
     163                                sourceInsets="5 5 5 5" /> 
     164                </state> 
     165                <state value="MOUSE_OVER"> 
     166                        <imagePainter method="buttonBackground" path="/resources/customScrollPane/btnDTBScrollRight_over.png" 
     167                                sourceInsets="5 5 5 5" /> 
     168                </state> 
     169                <state value="DISABLED"> 
     170                        <imagePainter method="buttonBackground" path="/resources/customScrollPane/btnDTBSScroll_disabled.png" 
     171                                sourceInsets="5 5 5 5" /> 
     172                </state> 
     173        </style> 
     174        <!-- Bind buttonStyle to all JButtons --> 
     175        <bind style="customScrollPaneButtonRightStyle" type="name" key="customScrollPaneRightButton" /> 
     176 
     177        <!-- ================================= --> 
     178        <!-- WINDOW SCROLL PANE LEFT BUTTON --> 
     179        <!-- ================================= --> 
     180        <style id="windowScrollPaneButtonLeftStyle"> 
     181                <state value="ENABLED"> 
     182                        <imagePainter method="buttonBackground" path="/resources/customScrollPane/btnWBScrollLeft.png" 
     183                                sourceInsets="5 5 5 5" /> 
     184                </state> 
     185                <state value="FOCUSED"> 
     186                        <imagePainter method="buttonBackground" path="/resources/customScrollPane/btnWBScrollLeft_focused.png" 
     187                                sourceInsets="5 5 5 5" /> 
     188                </state> 
     189                <state value="PRESSED"> 
     190                        <imagePainter method="buttonBackground" path="/resources/customScrollPane/btnWBScrollLeft_pressed.png" 
     191                                sourceInsets="5 5 5 5" /> 
     192                </state> 
     193                <state value="MOUSE_OVER"> 
     194                        <imagePainter method="buttonBackground" path="/resources/customScrollPane/btnWBScrollLeft_over.png" 
     195                                sourceInsets="5 5 5 5" /> 
     196                </state> 
     197                <state value="DISABLED"> 
     198                        <imagePainter method="buttonBackground" path="/resources/customScrollPane/btnWBSScroll_disabled.png" 
     199                                sourceInsets="5 5 5 5" /> 
     200                </state> 
     201        </style> 
     202        <!-- Bind buttonStyle to all JButtons --> 
     203        <bind style="windowScrollPaneButtonLeftStyle" type="name" key="windowScrollPaneLeftButton" /> 
     204 
     205        <!-- ================================= --> 
     206        <!-- WINDOW SCROLL PANE RIGHT BUTTON --> 
     207        <!-- ================================= --> 
     208        <style id="windowScrollPaneButtonRightStyle"> 
     209                <state value="ENABLED"> 
     210                        <imagePainter method="buttonBackground" path="/resources/customScrollPane/btnWBScrollRight.png" 
     211                                sourceInsets="5 5 5 5" /> 
     212                </state> 
     213                <state value="FOCUSED"> 
     214                        <imagePainter method="buttonBackground" path="/resources/customScrollPane/btnWBScrollRight_focused.png" 
     215                                sourceInsets="5 5 5 5" /> 
     216                </state> 
     217                <state value="PRESSED"> 
     218                        <imagePainter method="buttonBackground" path="/resources/customScrollPane/btnWBScrollRight_pressed.png" 
     219                                sourceInsets="5 5 5 5" /> 
     220                </state> 
     221                <state value="MOUSE_OVER"> 
     222                        <imagePainter method="buttonBackground" path="/resources/customScrollPane/btnWBScrollRight_over.png" 
     223                                sourceInsets="5 5 5 5" /> 
     224                </state> 
     225                <state value="DISABLED"> 
     226                        <imagePainter method="buttonBackground" path="/resources/customScrollPane/btnWBSScroll_disabled.png" 
     227                                sourceInsets="5 5 5 5" /> 
     228                </state> 
     229        </style> 
     230        <!-- Bind buttonStyle to all JButtons --> 
     231        <bind style="windowScrollPaneButtonRightStyle" type="name" key="windowScrollPaneRightButton" /> 
     232 
     233        <!-- ================================= --> 
    122234        <!-- PREVIOUS PAGE BUTTON --> 
    123235        <!-- ================================= --> 
    124236        <style id="prevPageButtonStyle"> 

  • sophie2-platform/modules/org.sophie2.main.app.commons/src/main/java/org/sophie2/main/app/commons/app/AppTabBar.java

     
    11package org.sophie2.main.app.commons.app; 
    22 
     3import java.awt.BorderLayout; 
    34import java.awt.Component; 
    45import java.awt.FlowLayout; 
    56import java.awt.event.ActionEvent; 
    … …  
    910 
    1011import javax.swing.AbstractButton; 
    1112import javax.swing.ButtonGroup; 
     13import javax.swing.JComponent; 
    1214import javax.swing.JPanel; 
    1315import javax.swing.JToggleButton; 
    14 import javax.swing.SpringLayout; 
    1516 
     17import org.sophie2.base.commons.gui.CustomScrollPane; 
    1618import org.sophie2.base.commons.util.ImageUtil; 
    1719import org.sophie2.base.commons.util.ImmImage; 
    1820import org.sophie2.base.layout.model.DocView; 
    … …  
    2527import org.sophie2.core.logging.SophieLog; 
    2628import org.sophie2.core.mvc.EventParams; 
    2729import org.sophie2.core.mvc.LogicR3; 
    28 import org.sophie2.core.prolib.annot.Const; 
    2930import org.sophie2.core.prolib.annot.Own; 
    3031import org.sophie2.core.prolib.annot.Setup; 
    3132import org.sophie2.core.prolib.impl.AutoListProperty; 
    … …  
    4344/** 
    4445 * The {@link TabBar} of the application. 
    4546 *  
    46  * @author tanya 
     47 * @author tanya, stefan 
    4748 */ 
    4849@VisualElementDef(parent = AppMainWindow.class, sortKey = "kkk-app-tab-bar") 
    4950public class AppTabBar extends TabBar { 
    … …  
    102103                        @Override 
    103104                        protected JPanel create() { 
    104105                                final JPanel res = new JPanel(); 
    105                                 res.setName("appTabBarPanel"); 
    106106 
    107107                                res.addMouseListener(new MouseAdapter() { 
    108108 
    … …  
    134134 
    135135                        @Override 
    136136                        protected void setup(JPanel res) { 
    137  
    138                                 SpringLayout layout = new SpringLayout(); 
     137                                BorderLayout layout = new BorderLayout(); 
    139138                                res.setLayout(layout); 
    140139 
    141                                 JPanel buttonsPanel = buttonsPanel().get(); 
     140                                JPanel desktopButtonPanel = desktopButtonPanel().get(); 
     141                                JComponent scrollPane = tabBarScrollPane().get().swingComponent(); 
     142                                 
     143                                res.add(desktopButtonPanel, BorderLayout.WEST); 
     144                                res.add(scrollPane, BorderLayout.CENTER); 
    142145 
    143                                 JPanel trailingPanel = trailingPanel().get(); 
     146                                res.invalidate(); 
     147                                res.repaint(); 
    144148 
    145                                 res.add(buttonsPanel); 
    146                                 res.add(trailingPanel); 
     149                        } 
     150                } 
     151                return getBean().makeProp(swingComponent.class); 
     152        } 
     153 
     154        /** 
     155         * Panel for the desktop book's icon. It has to be in separate 
     156         * {@link JPanel} because it shouldn't be scrollable. 
     157         *  
     158         * @return resource property. 
     159         */ 
     160        public Prop<JPanel> desktopButtonPanel() { 
     161                class desktopButtonPanel extends ResourceProperty<JPanel> { 
     162 
     163                        @Override 
     164                        protected JPanel create() { 
     165                                JPanel res = new JPanel(new FlowLayout(FlowLayout.LEFT, 0, 0)); 
     166                                return res; 
     167                        } 
     168 
     169                        @Override 
     170                        protected void destroy(JPanel res) { 
     171                                // nothing. 
     172                        } 
     173 
     174                        @Override 
     175                        protected void setup(JPanel res) {               
     176                                for (Component comp : res.getComponents()) { 
     177                                        if (comp instanceof AbstractButton) { 
     178                                                SophieLog.trace(comp); 
     179                                                buttonsGroup.remove((AbstractButton)comp); 
     180                                        } 
     181                                } 
     182 
     183                                res.removeAll(); 
    147184                                 
    148                                 layout.putConstraint(SpringLayout.WEST, buttonsPanel, 0, SpringLayout.WEST, res); 
     185                                if (parent().get() == null) { 
     186                                        return; 
     187                                } 
    149188                                 
    150                                 layout.putConstraint(SpringLayout.EAST, trailingPanel, 0, SpringLayout.EAST, res); 
    151                                 layout.putConstraint(SpringLayout.WEST, trailingPanel, 0, SpringLayout.EAST, 
    152                                                 buttonsPanel); 
    153                                 layout.putConstraint(SpringLayout.SOUTH, res, 0, SpringLayout.SOUTH, buttonsPanel); 
    154                                 layout.putConstraint(SpringLayout.SOUTH, trailingPanel, 0, SpringLayout.SOUTH, res); 
    155                                 layout.putConstraint(SpringLayout.NORTH, trailingPanel, 0, SpringLayout.NORTH, res); 
     189                                res.add(showDesktopButton().get()); 
     190                                buttonsGroup.add(showDesktopButton().get()); 
    156191 
    157                                 res.invalidate(); 
     192                                res.validate(); 
    158193                                res.repaint(); 
     194                        } 
     195                } 
     196                return getBean().makeProp(desktopButtonPanel.class); 
     197        } 
    159198 
     199        /** 
     200         * Pane for the open books's icons. It is {@link CustomScrollPane}, because 
     201         * it should be scrollable. 
     202         *  
     203         * @return resource property. 
     204         */ 
     205        public Prop<CustomScrollPane> tabBarScrollPane() { 
     206                class tabBarScrollPane extends ResourceProperty<CustomScrollPane> { 
     207 
     208                        @Override 
     209                        protected CustomScrollPane create() { 
     210                                JPanel tailingPanel = new JPanel(); 
     211                                tailingPanel.setName("appTabBarTrailingPanel"); 
     212                                CustomScrollPane res = new CustomScrollPane(CustomScrollPane.HORIZONTAL, tailingPanel); 
     213                                res.setNames("customScrollPaneLeftButton", "customScrollPaneRightButton"); 
     214                                return res; 
    160215                        } 
     216 
     217                        @Override 
     218                        protected void destroy(CustomScrollPane res) { 
     219                                // nothing 
     220                        } 
     221 
     222                        @Override 
     223                        protected void setup(CustomScrollPane res) { 
     224                                res.setViewportView(buttonsPanel().get()); 
     225                                res.swingComponent().validate(); 
     226                                res.swingComponent().repaint(); 
     227                        } 
     228 
    161229                } 
    162                 return getBean().makeProp(swingComponent.class); 
     230                return getBean().makeProp(tabBarScrollPane.class); 
    163231        } 
     232         
    164233 
     234 
    165235        /** 
    166236         * The panel containing the tab bar buttons. 
    167237         *  
    … …  
    196266                                        return; 
    197267                                } 
    198268                                 
    199                                 res.add(showDesktopButton().get()); 
    200269                                buttonsGroup.add(showDesktopButton().get()); 
    201270 
    202271                                for (TabBarButton button : documentButtons().get()) { 
    203272                                        res.add(button.swingComponent().get()); 
    204273                                        buttonsGroup.add(button.swingComponent().get()); 
    205274                                } 
    206  
    207275                                res.validate(); 
    208276                                res.repaint(); 
    209277                        } 
    … …  
    242310                return getBean().makeProp(documentButtons.class); 
    243311        } 
    244312 
    245         /** 
    246          * The trailing panel of the tab bar. This is needed for proper skinning. 
    247          *  
    248          * @return auto property. 
    249          */ 
    250         @Const 
    251         public Prop<JPanel> trailingPanel() { 
    252                 class trailingPanel extends AutoProperty<JPanel> { 
     313//      /** 
     314//       * The trailing panel of the tab bar. This is needed for proper skinning. 
     315//       *  
     316//       * @return auto property. 
     317//       */ 
     318//      @Const 
     319//      public Prop<JPanel> trailingPanel() { 
     320//              class trailingPanel extends AutoProperty<JPanel> { 
     321// 
     322//                      @Override 
     323//                      protected JPanel compute() { 
     324// 
     325//                              assert getLastValue() == null; 
     326// 
     327//                              JPanel res = new JPanel(); 
     328//                              res.setMinimumSize(new Dimension(0,0)); 
     329//                              res.setName("appTabBarTrailingPanel"); 
     330//                              res.setVisible(true); 
     331//                              return res; 
     332//                      } 
     333//              } 
     334//              return getBean().makeProp(trailingPanel.class); 
     335//      } 
    253336 
    254                         @Override 
    255                         protected JPanel compute() { 
    256  
    257                                 assert getLastValue() == null; 
    258  
    259                                 JPanel res = new JPanel(); 
    260                                 res.setName("appTabBarTrailingPanel"); 
    261                                 res.setVisible(true); 
    262                                 return res; 
    263                         } 
    264                 } 
    265                 return getBean().makeProp(trailingPanel.class); 
    266         } 
    267  
    268337        /** 
    269338         * The icon of show desktop button. Should not be null. 
    270339         *  

  • sophie2-platform/modules/org.sophie2.main.app.commons/src/main/java/org/sophie2/main/app/commons/book/BookDocView.java

     
    55 
    66import javax.swing.JComponent; 
    77import javax.swing.JScrollPane; 
    8 import javax.swing.ScrollPaneConstants; 
    98 
     9import org.sophie2.base.commons.gui.CustomScrollPane; 
    1010import org.sophie2.base.commons.util.ImmImage; 
    1111import org.sophie2.base.commons.util.position.ImmSize; 
    1212import org.sophie2.base.layout.impl.DefaultDocView; 
    … …  
    250250                                modelSwing.setLayout(new BorderLayout()); 
    251251 
    252252                                if (bookView().get().getViewOptions().isShowControls()) { 
    253                                         modelSwing.add(viewOptionsScrollPane().get(), BorderLayout.NORTH); 
     253                                        modelSwing.add(viewOptionsScrollPane().get().swingComponent(), BorderLayout.NORTH); 
    254254                                        modelSwing.add(workAreaPane().get(), BorderLayout.CENTER); 
    255255                                } else { 
    256256                                        modelSwing.add(workArea().get().swingComponent().get()); 
    … …  
    303303         *  
    304304         * @return The property. 
    305305         */ 
    306         private Prop<JScrollPane> viewOptionsScrollPane() { 
    307                 class ViewOptionsScrollPane extends ResourceProperty<JScrollPane> { 
     306        private Prop<CustomScrollPane> viewOptionsScrollPane() { 
     307                class ViewOptionsScrollPane extends ResourceProperty<CustomScrollPane> { 
    308308 
    309309                        @Override 
    310                         protected JScrollPane create() { 
    311                                 JScrollPane res = new JScrollPane(); 
    312                                 res.setHorizontalScrollBarPolicy(ScrollPaneConstants.HORIZONTAL_SCROLLBAR_AS_NEEDED); 
    313                                 res.setVerticalScrollBarPolicy(ScrollPaneConstants.VERTICAL_SCROLLBAR_AS_NEEDED); 
    314                                 res.setVisible(true); 
    315                                 res.setEnabled(true); 
     310                        protected CustomScrollPane create() { 
     311                                CustomScrollPane res = new CustomScrollPane(CustomScrollPane.HORIZONTAL, null); 
     312                                res.setNames("windowScrollPaneLeftButton", "windowScrollPaneRightButton"); 
    316313                                return res; 
    317314                        } 
    318315 
    319316                        @Override 
    320                         protected void destroy(JScrollPane res) { 
     317                        protected void destroy(CustomScrollPane res) { 
    321318                                // nothing 
    322319                        } 
    323320 
    324321                        @Override 
    325                         protected void setup(JScrollPane res) { 
     322                        protected void setup(CustomScrollPane res) { 
    326323                                res.setViewportView(bookPanel().get().swingPanel().get()); 
    327                                 res.validate(); 
    328                                 res.repaint(); 
     324                                res.swingComponent().validate(); 
     325                                res.swingComponent().repaint(); 
    329326                        } 
    330327 
    331328                } 
    332329                return getBean().makeProp(ViewOptionsScrollPane.class); 
    333330        } 
     331         
    334332 
    335333        /** 
    336334         * Crates a new <code>BookDocView</code> in the given {@link AppMainWindow}