Changeset 9552
- Timestamp:
- 2005-04-05T11:41:13+12:00 (19 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/gli/src/org/greenstone/gatherer/cdm/IndexManager.java
r9252 r9552 1056 1056 move_index_up_button.setEnabled(false); 1057 1057 move_index_up_button.setMnemonic(KeyEvent.VK_U); 1058 //move_index_up_button.setPreferredSize(Utility.DOUBLE_IMAGE_BUTTON_SIZE);1059 1058 Dictionary.registerBoth(move_index_up_button, "CDM.Move.Move_Up", "CDM.Move.Move_Up_Tooltip"); 1060 1059 … … 1062 1061 move_index_down_button.setEnabled(false); 1063 1062 move_index_down_button.setMnemonic(KeyEvent.VK_D); 1064 //move_index_down_button.setPreferredSize(Utility.DOUBLE_IMAGE_BUTTON_SIZE);1065 1063 Dictionary.registerBoth(move_index_down_button, "CDM.Move.Move_Down", "CDM.Move.Move_Down_Tooltip"); 1066 1064 … … 1086 1084 index_combobox.setBackgroundNonSelectionColor(Configuration.getColor("coloring.editable_background", false)); 1087 1085 index_combobox.setBackgroundSelectionColor(Configuration.getColor("coloring.collection_selection_background", false)); 1088 index_combobox.setEditable( true);1086 index_combobox.setEditable(false); // Warning: setting this to true opens a big can of worms 1089 1087 index_combobox.setTextNonSelectionColor(Configuration.getColor("coloring.workspace_tree_foreground", false)); 1090 1088 index_combobox.setTextSelectionColor(Configuration.getColor("coloring.collection_selection_foreground", false)); … … 1355 1353 // Retrieve the source 1356 1354 Object source = index_combobox.getSelectedItem(); 1355 1357 1356 // If this object isn't yet in the combobox add it. 1358 1357 if(index_combobox.getSelectedIndex() == -1) { … … 1513 1512 // Unfortunately we have to generate a valid id 1514 1513 String id = null; 1515 if (selected_object instanceof MetadataElement) { 1514 // Special cases 1515 if (selected_object instanceof String && (selected_object.equals(CollectionConfiguration.ALLFIELDS_STR) || selected_object.equals(CollectionConfiguration.METADATA_STR) || selected_object.equals(CollectionConfiguration.TEXT_STR))) { 1516 id = (String) selected_object; 1517 } 1518 else if (selected_object instanceof MetadataElement) { 1516 1519 id = ((MetadataElement) selected_object).getFullName(); 1517 1520 } 1518 1521 else { 1519 id = selected_object.toString(); 1522 System.err.println("Internal Error: Unexpected selected_object in IndexManager."); 1523 return; 1520 1524 } 1521 1525 if(id.startsWith(StaticStrings.EXTRACTED_NAMESPACE)) {
Note:
See TracChangeset
for help on using the changeset viewer.