- Timestamp:
- 2003-06-12T18:06:31+12:00 (21 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/gli/src/org/greenstone/gatherer/cdm/ArgumentConfiguration.java
r4559 r4624 347 347 String tip = "<html>" + argument.getDesc() + "</html>"; 348 348 tip = Utility.formatHTMLWidth(tip, 60); 349 349 // If this is the first control, there is no history. 350 350 if(previous_owner == null) { 351 351 previous_owner = argument.getOwner(); 352 352 addHeader(previous_owner, Color.white); 353 353 } 354 354 // Otherwise if the owner of the control has changed since the last argument, toggle the colouring of the control. 355 355 else if(previous_owner != argument.getOwner()) { 356 356 coloured = !coloured; … … 358 358 addHeader(previous_owner, (coloured ? Gatherer.config.getColor("coloring.collection_tree_background", false) : Color.white)); 359 359 } 360 360 // Create 361 361 if(coloured) { 362 362 setBackground(Gatherer.config.getColor("coloring.collection_tree_background", false));
Note:
See TracChangeset
for help on using the changeset viewer.