equal
deleted
inserted
replaced
46 private final int FOCUS_INSET = 1; |
46 private final int FOCUS_INSET = 1; |
47 |
47 |
48 private final int BORDER_WIDTH; // Width of border drawn around the list |
48 private final int BORDER_WIDTH; // Width of border drawn around the list |
49 // of items |
49 // of items |
50 private final int ITEM_MARGIN; // Margin between the border of the list |
50 private final int ITEM_MARGIN; // Margin between the border of the list |
51 // of items and and item's bg, and between |
51 // of items and item's bg, and between |
52 // items |
52 // items |
53 private final int TEXT_SPACE; // Space between the edge of an item and |
53 private final int TEXT_SPACE; // Space between the edge of an item and |
54 // the text |
54 // the text |
55 |
55 |
56 private final int SCROLLBAR_WIDTH; // Width of a scrollbar |
56 private final int SCROLLBAR_WIDTH; // Width of a scrollbar |