Ignore:
Timestamp:
2009-06-17T10:04:22+02:00 (15 years ago)
Author:
stoecker
Message:

remove all these ugly tab stops introduced in the last half year

File:
1 edited

Legend:

Unmodified
Added
Removed

  • trunk/src/org/openstreetmap/josm/gui/historycombobox/ComboBoxHistory.java

    r1575 r1677  
    11/* Copyright (c) 2008, Henrik Niehaus
    22 * All rights reserved.
    3  * 
     3 *
    44 * Redistribution and use in source and binary forms, with or without
    55 * modification, are permitted provided that the following conditions are met:
    6  * 
     6 *
    77 * 1. Redistributions of source code must retain the above copyright notice,
    88 *    this list of conditions and the following disclaimer.
    9  * 2. Redistributions in binary form must reproduce the above copyright notice, 
    10  *    this list of conditions and the following disclaimer in the documentation 
     9 * 2. Redistributions in binary form must reproduce the above copyright notice,
     10 *    this list of conditions and the following disclaimer in the documentation
    1111 *    and/or other materials provided with the distribution.
    12  * 3. Neither the name of the project nor the names of its 
    13  *    contributors may be used to endorse or promote products derived from this 
     12 * 3. Neither the name of the project nor the names of its
     13 *    contributors may be used to endorse or promote products derived from this
    1414 *    software without specific prior written permission.
    15  * 
     15 *
    1616 * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS"
    1717 * AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
    … …  
    3737public class ComboBoxHistory extends DefaultComboBoxModel implements Iterable<String> {
    3838
    39         private int maxSize = 10;
    40        
    41         private List<HistoryChangedListener> listeners = new ArrayList<HistoryChangedListener>();
    42        
    43         public ComboBoxHistory(int size) {
    44                 maxSize = size;
    45         }
    46        
    47         /**
    48          * Adds or moves an element to the top of the history
    49          */
    50         public void addElement(Object o) {
    51                 String newEntry = (String)o;
    52                
    53                 // if history contains this object already, delete it,
    54                 // so that it looks like a move to the top
    55                 for (int i = 0; i < getSize(); i++) {
    56                         String oldEntry = (String) getElementAt(i);
    57                         if(oldEntry.equals(newEntry)) {
    58                                 removeElementAt(i);
    59                         }
    60                 }
    61                
    62                 // insert element at the top
    63                 insertElementAt(o, 0);
    64                
    65                 // remove an element, if the history gets too large
    66                 if(getSize()> maxSize) {
    67                         removeElementAt(getSize()-1);
    68                 }
    69                
    70                 // set selected item to the one just added
    71                 setSelectedItem(o);
    72                
    73                 fireHistoryChanged();
    74         }
    75        
    76         public Iterator<String> iterator() {
    77                 return new Iterator<String>() {
     39    private int maxSize = 10;
    7840
    79                         private int position = -1;
    80                        
    81                         public void remove() {
    82                                 removeElementAt(position);
    83                         }
     41    private List<HistoryChangedListener> listeners = new ArrayList<HistoryChangedListener>();
    8442
    85                         public boolean hasNext() {
    86                                 if(position < getSize()-1 && getSize()>0) {
    87                                         return true;
    88                                 }
    89                                 return false;
    90                         }
     43    public ComboBoxHistory(int size) {
     44        maxSize = size;
     45    }
    9146
    92                         public String next() {
    93                                 position++;
    94                                 return getElementAt(position).toString();
    95                         }
    96                        
    97                 };
    98         }
     47    /**
     48     * Adds or moves an element to the top of the history
     49     */
     50    public void addElement(Object o) {
     51        String newEntry = (String)o;
    9952
    100         public void setItems(List<String> items) {
    101             removeAllElements();
    102             Collections.reverse(items);
    103             for (String item : items) {
     53        // if history contains this object already, delete it,
     54        // so that it looks like a move to the top
     55        for (int i = 0; i < getSize(); i++) {
     56            String oldEntry = (String) getElementAt(i);
     57            if(oldEntry.equals(newEntry)) {
     58                removeElementAt(i);
     59            }
     60        }
     61
     62        // insert element at the top
     63        insertElementAt(o, 0);
     64
     65        // remove an element, if the history gets too large
     66        if(getSize()> maxSize) {
     67            removeElementAt(getSize()-1);
     68        }
     69
     70        // set selected item to the one just added
     71        setSelectedItem(o);
     72
     73        fireHistoryChanged();
     74    }
     75
     76    public Iterator<String> iterator() {
     77        return new Iterator<String>() {
     78
     79            private int position = -1;
     80
     81            public void remove() {
     82                removeElementAt(position);
     83            }
     84
     85            public boolean hasNext() {
     86                if(position < getSize()-1 && getSize()>0) {
     87                    return true;
     88                }
     89                return false;
     90            }
     91
     92            public String next() {
     93                position++;
     94                return getElementAt(position).toString();
     95            }
     96
     97        };
     98    }
     99
     100    public void setItems(List<String> items) {
     101        removeAllElements();
     102        Collections.reverse(items);
     103        for (String item : items) {
    104104            addElement(item);
    105105        }
    106             Collections.reverse(items);
    107         }
    108        
     106        Collections.reverse(items);
     107    }
     108
    109109    public List<String> asList() {
    110110        List<String> list = new ArrayList<String>(maxSize);
    … …  
    114114        return list;
    115115    }
    116    
     116
    117117    public void addHistoryChangedListener(HistoryChangedListener l) {
    118118        listeners.add(l);
    119119    }
    120    
     120
    121121    public void removeHistoryChangedListener(HistoryChangedListener l) {
    122122        listeners.remove(l);
    123123    }
    124    
     124
    125125    private void fireHistoryChanged() {
    126126        for (HistoryChangedListener l : listeners) {
Note: See TracChangeset for help on using the changeset viewer.