Revision 34833 branches/v2_0_0_prep/frameworks/_fwAndami/src/org/gvsig/andami/ui/mdiFrame/MDIFrame.java
MDIFrame.java | ||
---|---|---|
60 | 60 |
import java.util.Enumeration; |
61 | 61 |
import java.util.HashMap; |
62 | 62 |
import java.util.Iterator; |
63 |
import java.util.Map; |
|
63 | 64 |
import java.util.NoSuchElementException; |
64 | 65 |
import java.util.StringTokenizer; |
65 | 66 |
import java.util.Vector; |
... | ... | |
137 | 138 |
* Stores the actionCommand of the selected tool, for each group. |
138 | 139 |
* It contains pairs (String groupName, JToolBarToggleButton button) |
139 | 140 |
*/ |
140 |
private HashMap selectedTool = null;
|
|
141 |
private Map selectedTool = null; |
|
141 | 142 |
// this should be the same value defined at plugin-config.xsd |
142 | 143 |
private String defaultGroup = "unico"; |
143 | 144 |
|
... | ... | |
1381 | 1382 |
* You can use this function to select the appropiate |
1382 | 1383 |
* tool inside the toolbars |
1383 | 1384 |
*/ |
1384 |
public void setSelectedTools(HashMap selectedTools) {
|
|
1385 |
public void setSelectedTools(Map selectedTools) { |
|
1385 | 1386 |
selectedTool = selectedTools; |
1386 | 1387 |
if (selectedTools == null) { |
1387 | 1388 |
return; |
... | ... | |
1576 | 1577 |
this.titlePrefix = titlePrefix; |
1577 | 1578 |
} |
1578 | 1579 |
|
1579 |
public HashMap getSelectedTools() {
|
|
1580 |
public Map getSelectedTools() { |
|
1580 | 1581 |
return selectedTool; |
1581 | 1582 |
} |
1582 | 1583 |
|
Also available in: Unified diff