equal
deleted
inserted
replaced
42 |
42 |
43 public SunPageSelection(int value) { |
43 public SunPageSelection(int value) { |
44 pages = value; |
44 pages = value; |
45 } |
45 } |
46 |
46 |
47 public final Class<? extends Attribute> getCategory() { |
47 public Class<? extends Attribute> getCategory() { |
48 return SunPageSelection.class; |
48 return SunPageSelection.class; |
49 } |
49 } |
50 |
50 |
51 public final String getName() { |
51 public String getName() { |
52 return "sun-page-selection"; |
52 return "sun-page-selection"; |
53 } |
53 } |
54 |
54 |
55 public String toString() { |
55 public String toString() { |
56 return "page-selection: " + pages; |
56 return "page-selection: " + pages; |