Ticket #2412: 2412_im_fi.2.patch

File 2412_im_fi.2.patch, 31.8 KB (added by stefan, 15 years ago)

  • modules/org.sophie2.main.app.commons/src/main/java/org/sophie2/main/app/commons/book/BaseBookDocView.java 

    ### Eclipse Workspace Patch 1.0
#P sophie
     
    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.ImageUtil; 
    1111import org.sophie2.base.commons.util.ImmImage; 
    1212import org.sophie2.base.layout.model.DocView; 
    … …  
    233233                                modelSwing.setLayout(new BorderLayout()); 
    234234 
    235235                                if (bookView().get().getViewOptions().isShowControls()) { 
    236                                         modelSwing.add(viewOptionsScrollPane().get(), BorderLayout.NORTH); 
     236                                        modelSwing.add(viewOptionsScrollPane().get().swingComponent(), BorderLayout.NORTH); 
    237237                                        modelSwing.add(workAreaPane().get(), BorderLayout.CENTER); 
    238238                                } else { 
    239239                                        modelSwing.add(workArea().get().swingComponent().get()); 
    … …  
    286286         *  
    287287         * @return The property. 
    288288         */ 
    289         private Prop<JScrollPane> viewOptionsScrollPane() { 
    290                 class ViewOptionsScrollPane extends ResourceProperty<JScrollPane> { 
     289        private Prop<CustomScrollPane> viewOptionsScrollPane() { 
     290                class ViewOptionsScrollPane extends ResourceProperty<CustomScrollPane> { 
    291291 
    292292                        @Override 
    293                         protected JScrollPane create() { 
    294                                 JScrollPane res = new JScrollPane(); 
    295                                 res.setHorizontalScrollBarPolicy(ScrollPaneConstants.HORIZONTAL_SCROLLBAR_AS_NEEDED); 
    296                                 res.setVerticalScrollBarPolicy(ScrollPaneConstants.VERTICAL_SCROLLBAR_AS_NEEDED); 
    297                                 res.setVisible(true); 
    298                                 res.setEnabled(true); 
    299                                 return res; 
     293                        protected CustomScrollPane create() { 
     294                                CustomScrollPane res = new CustomScrollPane(CustomScrollPane.HORIZONTAL, null, true); 
     295                                res.setNames("windowScrollPaneLeftButton", "windowScrollPaneRightButton", null); 
     296                                return res; 
    300297                        } 
    301298 
    302299                        @Override 
    303                         protected void destroy(JScrollPane res) { 
     300                        protected void destroy(CustomScrollPane res) { 
    304301                                // nothing 
    305302                        } 
    306303 
    307304                        @Override 
    308                         protected void setup(JScrollPane res) { 
     305                        protected void setup(CustomScrollPane res) { 
    309306                                res.setViewportView(bookPanel().get().swingPanel().get()); 
    310                                 res.validate(); 
    311                                 res.repaint(); 
     307                                res.swingComponent().validate(); 
     308                                res.swingComponent().repaint(); 
    312309                        } 
    313310 
    314311                } 

  • modules/org.sophie2.launcher/.classpath

     
    1 <?xml version="1.0" encoding="UTF-8"?> 
    2 <classpath> 
    3         <classpathentry kind="src" output="target/classes" path="src/main/java"/> 
    4         <classpathentry excluding="**" kind="src" output="target/classes" path="src/main/resources"/> 
    5         <classpathentry kind="src" output="target/test-classes" path="src/test/java"/> 
    6         <classpathentry excluding="**" kind="src" output="target/test-classes" path="src/test/resources"/> 
    7         <classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/J2SE-1.5"/> 
    8         <classpathentry kind="con" path="org.maven.ide.eclipse.MAVEN2_CLASSPATH_CONTAINER"/> 
    9         <classpathentry kind="src" path="/org.sophie2.base.model.resources.r4"/> 
    10         <classpathentry kind="output" path="target/classes"/> 
    11 </classpath> 
     1<?xml version="1.0" encoding="UTF-8"?> 
     2<classpath> 
     3        <classpathentry kind="src" output="target/classes" path="src/main/java"/> 
     4        <classpathentry excluding="**" kind="src" output="target/classes" path="src/main/resources"/> 
     5        <classpathentry kind="src" output="target/test-classes" path="src/test/java"/> 
     6        <classpathentry excluding="**" kind="src" output="target/test-classes" path="src/test/resources"/> 
     7        <classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/J2SE-1.5"/> 
     8        <classpathentry kind="con" path="org.maven.ide.eclipse.MAVEN2_CLASSPATH_CONTAINER"/> 
     9        <classpathentry kind="output" path="target/classes"/> 
     10</classpath> 

  • 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) { 
    … …  
    97108        private int xCoordinate = 0; 
    98109        private int yCoordinate = 0; 
    99110         
     111        private boolean centered = false; 
     112         
    100113        //The preferred size includes the size of the buttons. 
    101114        //The preferred size excludes the size of the scrollable part. 
    102115        private Dimension minimumDimension = new Dimension(0, 0); 
    … …  
    201214                                        centerDim = new Dimension(tmp.getSize().width,  
    202215                                                        parent.getSize().height - this.minimumDimension.height); 
    203216                                } 
    204  
    205217                                this.center.setSize(centerDim); 
    206218                                this.scrollable.setSize(tmp); 
    207  
     219                                 
    208220                                if (this.orientation) { 
    209221                                        if (this.scrollable.getPreferredSize().width <= 
    210222                                                -this.scrollable.getX() + centerDim.width) { 
    … …  
    234246                                } else { 
    235247                                        this.backward.setEnabled(true); 
    236248                                } 
     249                                 
     250                                if (this.tailing != null) { 
     251                                        this.tailing.setSize(0, 0); 
     252                                } 
    237253                        } else { 
    238254 
    239255                                this.backward.setSize(0, 0); 
    240256                                this.forward.setSize(0, 0); 
    241257 
    242                                 this.center.setLocation(0, 0); 
     258                                if (this.centered) { 
     259                                        if (this.orientation) { 
     260                                                int freeSpace = parentDim.width - scrollableDim.width; 
     261                                                this.center.setLocation(freeSpace / 2, 0); 
     262                                                 
     263                                        } else { 
     264                                                int freeSpace = parentDim.height - scrollableDim.height; 
     265                                                this.center.setLocation(0, freeSpace / 2); 
     266                                        } 
     267                                } else { 
     268                                        this.center.setLocation(0, 0); 
     269                                } 
    243270                                this.scrollable.setLocation(0, 0); 
     271                                 
     272                                if (this.tailing != null) { 
     273                                        if (this.orientation) { 
     274                                                this.tailing.setSize(parentDim.width - scrollableDim.width, parentDim.height); 
     275                                                this.tailing.setLocation(this.scrollable.getX() + scrollableDim.width, this.scrollable.getY()); 
     276                                                 
     277                                        } else { 
     278                                                this.tailing.setSize(parentDim.width, parentDim.height - scrollableDim.height); 
     279                                                this.tailing.setLocation(this.scrollable.getX(), this.scrollable.getY() + scrollableDim.height); 
     280                                        } 
     281                                } 
    244282 
    245283                                tmp = scrollableDim; 
    246284                                this.center.setSize(tmp); 
    … …  
    274312        public void removeLayoutComponent(Component comp) { 
    275313                // nothing 
    276314        } 
     315 
     316        /** 
     317         * Sets flag whether the middle component of this layout should be centered 
     318         * or not. 
     319         *  
     320         * @param centered 
     321         *            The boolean flag. 
     322         */ 
     323        public void setCentered(boolean centered) { 
     324                this.centered = centered; 
     325        } 
    277326} 
     327 No newline at end of file 

  • modules/org.sophie2.main.skin.alternative/src/main/resources/lookandfeel_java5.xml

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

  • 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, false); 
     213                                res.setNames("customScrollPaneLeftButton", "customScrollPaneRightButton", null); 
     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> { 
    253313 
    254                         @Override 
    255                         protected JPanel compute() { 
    256314 
    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  
    268315        /** 
    269316         * The icon of show desktop button. Should not be null. 
    270317         *  

  • 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); 

  • 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"> 

  • 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, true); 
    3737                 
    3838                this.frame.setContentPane(sophie.swingComponent()); 
    3939 

  • 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, true); 
    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        /** 

  • 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 DEFAULT_ICON_WIDTH = 19; 
     75        private static final int DEFAULT_ICON_HEIGHT = 44; 
     76 
    7477        /** 
    7578         * Constructs a scroll pane with given orientation. The values of the 
    7679         * orientation can be {@link #HORIZONTAL} or {@link #VERTICAL}. If the value 
    … …  
    8285         *            <b>true</b> if components should be laid out from left to 
    8386         *            right, <b>false</b> if components should be laid out from top 
    8487         *            to bottom. 
     88         * @param trailingPanel 
     89         *            a {@link JPanel} that is to be used as a trailing panel of the 
     90         *            scroll pane - <b>null</b> if not needed. It represents filling 
     91         *            at the tail of the scroll bar. 
     92         * @param centered 
     93         *            sets a flag whether the middle component of this pane should 
     94         *            be centered or not. 
    8595         *  
    8696         */ 
    87         public CustomScrollPane(boolean orientation) { 
     97        public CustomScrollPane(boolean orientation, JPanel trailingPanel, boolean centered) { 
    8898                this.orientation = orientation; 
    8999 
    90100                if (this.orientation) { 
    91                         this.backwardArrow = new JButton("<"); 
    92                         this.forwardArrow = new JButton(">"); 
     101                        this.backwardArrow = new JButton(); 
     102                        this.forwardArrow = new JButton(); 
     103                         
    93104                } else { 
    94                         this.backwardArrow = new JButton("^"); 
    95                         this.forwardArrow = new JButton("v"); 
     105                        this.backwardArrow = new JButton(); 
     106                        this.forwardArrow = new JButton(); 
    96107                } 
    97108                         
    98                 this.scrollPane = new JPanel(new ScrollPaneLayout(this.orientation)); 
     109                ScrollPaneLayout layout = new ScrollPaneLayout(this.orientation); 
     110                layout.setCentered(centered); 
     111                this.scrollPane = new JPanel(layout); 
    99112                this.scrollPane.add(this.backwardArrow, ScrollPaneLayout.BACKWARD); 
    100113                this.scrollPane.add(this.forwardArrow, ScrollPaneLayout.FORWARD); 
    101114                 
     115                if (trailingPanel != null) { 
     116                        this.scrollPane.add(trailingPanel, ScrollPaneLayout.TAILING); 
     117                } 
     118                 
    102119                setupTimers(); 
    103120                setup(); 
    104121        } 
     122 
     123        /** 
     124         * Sets the names of the buttons, for skinning use 
     125         *  
     126         * @param backwardName 
     127         *            The name for the backward button. 
     128         * @param forwardName 
     129         *            The name for the forward button. 
     130         * @param dimemsion 
     131         *            The dimension of the icon. 
     132         */ 
     133        public void setNames(String backwardName, String forwardName, Dimension dimemsion) { 
     134                this.backwardArrow.setName(backwardName); 
     135                this.forwardArrow.setName(forwardName); 
     136                if (dimemsion != null) { 
     137                        this.backwardArrow.setPreferredSize(dimemsion); 
     138                        this.forwardArrow.setPreferredSize(dimemsion); 
     139                } else { 
     140                        this.backwardArrow.setPreferredSize(new Dimension(DEFAULT_ICON_WIDTH, DEFAULT_ICON_HEIGHT)); 
     141                        this.forwardArrow.setPreferredSize(new Dimension(DEFAULT_ICON_WIDTH, DEFAULT_ICON_HEIGHT)); 
     142                } 
     143        } 
    105144         
    106145        private void setupTimers() { 
    107146                this.forwardScrollTimer = new Timer(this.delay, new ActionListener() { 
    … …  
    137176        public void setViewportView(final JComponent component) { 
    138177                this.viewportView = component; 
    139178                this.viewportViewSize = this.viewportView.getPreferredSize(); 
    140                  
     179         
    141180                this.viewport = new JPanel(null); 
    142181                this.viewport.add(component); 
    143182                this.viewport.validate();