Instance: use getInstance()

[nikiroo-utils.git] / src / be / nikiroo / fanfix / reader / ui / GuiReaderNavBar.java

diff --git a/src/be/nikiroo/fanfix/reader/ui/GuiReaderNavBar.java b/src/be/nikiroo/fanfix/reader/ui/GuiReaderNavBar.java
index 0f3d8dc67ba6296629262e0b79399a0601a33670..43c1a993153028314fcaf2a96b8a2acb759f221a 100644 (file)
--- a/src/be/nikiroo/fanfix/reader/ui/GuiReaderNavBar.java
+++ b/src/be/nikiroo/fanfix/reader/ui/GuiReaderNavBar.java
@@ -36,17 +36,20 @@ public class GuiReaderNavBar extends JPanel {
         * Create a new navigation bar.
         * <p>
         * The minimum must be lower or equal to the maximum.
+        * <p>
+        * Note than a max of "-1" means "infinite".
         * 
         * @param min
-        *            the minimum page number
+        *            the minimum page number (cannot be negative)
         * @param max
-        *            the maximum page number
+        *            the maximum page number (cannot be lower than min, except if
+        *            -1 (infinite))
         * 
         * @throws IndexOutOfBoundsException
-        *             if min &gt; max
+        *             if min &gt; max and max is not "-1"
         */
        public GuiReaderNavBar(int min, int max) {
-               if (min > max) {
+               if (min > max && max != -1) {
                        throw new IndexOutOfBoundsException(String.format(
                                        "min (%d) > max (%d)", min, max));
                }
@@ -54,30 +57,38 @@ public class GuiReaderNavBar extends JPanel {
                LayoutManager layout = new BoxLayout(this, BoxLayout.X_AXIS);
                setLayout(layout);
 
+               // TODO:
+               // JButton up = new BasicArrowButton(BasicArrowButton.NORTH);
+               // JButton down = new BasicArrowButton(BasicArrowButton.SOUTH);
+
                navButtons = new JButton[4];
 
                navButtons[0] = createNavButton("<<", new ActionListener() {
                        @Override
                        public void actionPerformed(ActionEvent e) {
                                setIndex(GuiReaderNavBar.this.min);
+                               fireEvent();
                        }
                });
                navButtons[1] = createNavButton(" < ", new ActionListener() {
                        @Override
                        public void actionPerformed(ActionEvent e) {
                                setIndex(index - 1);
+                               fireEvent();
                        }
                });
                navButtons[2] = createNavButton(" > ", new ActionListener() {
                        @Override
                        public void actionPerformed(ActionEvent e) {
                                setIndex(index + 1);
+                               fireEvent();
                        }
                });
                navButtons[3] = createNavButton(">>", new ActionListener() {
                        @Override
                        public void actionPerformed(ActionEvent e) {
                                setIndex(GuiReaderNavBar.this.max);
+                               fireEvent();
                        }
                });
 
@@ -114,15 +125,14 @@ public class GuiReaderNavBar extends JPanel {
         * @param index
         *            the new index
         */
-       private void setIndex(int index) {
+       public void setIndex(int index) {
                if (index != this.index) {
-                       if (index < min || index > max) {
+                       if (index < min || (index > max && max != -1)) {
                                throw new IndexOutOfBoundsException(String.format(
                                                "Index %d but min/max is [%d/%d]", index, min, max));
                        }
 
                        this.index = index;
-                       fireEvent();
                        updateLabel();
                }
 
@@ -130,7 +140,7 @@ public class GuiReaderNavBar extends JPanel {
        }
 
        /**
-        * The minimun page number.
+        * The minimun page number. Cannot be negative.
         * 
         * @return the min
         */
@@ -139,7 +149,7 @@ public class GuiReaderNavBar extends JPanel {
        }
 
        /**
-        * The minimum page number.
+        * The minimum page number. Cannot be negative.
         * <p>
         * May update the index if needed (if the index is &lt; the new min).
         * <p>
@@ -153,17 +163,15 @@ public class GuiReaderNavBar extends JPanel {
                this.min = min;
                if (index < min) {
                        index = min;
-                       updateEnabled();
-                       updateLabel();
-                       fireEvent();
-               } else {
-                       updateEnabled();
-                       updateLabel();
                }
+               updateEnabled();
+               updateLabel();
+
        }
 
        /**
-        * The maximum page number.
+        * The maximum page number. Cannot be lower than min, except if -1
+        * (infinite).
         * 
         * @return the max
         */
@@ -172,7 +180,8 @@ public class GuiReaderNavBar extends JPanel {
        }
 
        /**
-        * The maximum page number.
+        * The maximum page number. Cannot be lower than min, except if -1
+        * (infinite).
         * <p>
         * May update the index if needed (if the index is &gt; the new max).
         * <p>
@@ -184,15 +193,11 @@ public class GuiReaderNavBar extends JPanel {
         */
        public void setMax(int max) {
                this.max = max;
-               if (index > max) {
+               if (index > max && max != -1) {
                        index = max;
-                       updateEnabled();
-                       updateLabel();
-                       fireEvent();
-               } else {
-                       updateEnabled();
-                       updateLabel();
                }
+               updateEnabled();
+               updateLabel();
        }
 
        /**
@@ -246,15 +251,15 @@ public class GuiReaderNavBar extends JPanel {
        }
 
        /**
-        * Notify a chnge of page.
+        * Notify a change of page.
         */
-       private void fireEvent() {
+       public void fireEvent() {
                for (ActionListener listener : listeners) {
                        try {
                                listener.actionPerformed(new ActionEvent(this,
                                                ActionEvent.ACTION_FIRST, "page changed"));
                        } catch (Exception e) {
-                               Instance.getTraceHandler().error(e);
+                               Instance.getInstance().getTraceHandler().error(e);
                        }
                }
        }
@@ -289,8 +294,8 @@ public class GuiReaderNavBar extends JPanel {
        private void updateEnabled() {
                navButtons[0].setEnabled(index > min);
                navButtons[1].setEnabled(index > min);
-               navButtons[2].setEnabled(index < max);
-               navButtons[3].setEnabled(index < max);
+               navButtons[2].setEnabled(index < max || max == -1);
+               navButtons[3].setEnabled(index < max || max == -1);
        }
 
        /**
@@ -313,7 +318,12 @@ public class GuiReaderNavBar extends JPanel {
        protected String computeLabel(int index,
                        @SuppressWarnings("unused") int min, int max) {
 
-               String base = "&nbsp;&nbsp;<B>Page <SPAN COLOR='#444466'>%d</SPAN>&nbsp;/&nbsp;%d</B>";
+               String base = "&nbsp;&nbsp;<B>Page <SPAN COLOR='#444466'>%d</SPAN>&nbsp;";
+               if (max >= 0) {
+                       base += "/&nbsp;%d";
+               }
+               base += "</B>";
+
                String ifLabel = ": %s";
 
                String display = base;
@@ -324,6 +334,10 @@ public class GuiReaderNavBar extends JPanel {
 
                display = "<HTML>" + display + "</HTML>";
 
-               return String.format(display, index, max, label);
+               if (max >= 0) {
+                       return String.format(display, index, max, label);
+               }
+
+               return String.format(display, index, label);
        }
 }