Changeset 832 for trunk/quest-plugin-jfc/src/main/java/de
- Timestamp:
- 09/20/12 09:42:35 (12 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/quest-plugin-jfc/src/main/java/de/ugoe/cs/quest/plugin/jfc/guimodel/JFCGUIElementSpec.java
r778 r832 149 149 */ 150 150 @Override 151 public boolean equals( IGUIElementSpecother) {151 public boolean equals(Object other) { 152 152 if (this == other) 153 153 {
Note: See TracChangeset
for help on using the changeset viewer.