- Timestamp:
- May 28, 2008, 12:49:22 AM (17 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/plugins/org.eclipse.swt/Eclipse SWT/pm/org/eclipse/swt/widgets/Shell.java
r77 r84 3 3 /* 4 4 * OS/2 version. 5 * Copyright (c) 2002, 200 4EclipseOS2 Team.5 * Copyright (c) 2002, 2008 EclipseOS2 Team. 6 6 */ 7 7 … … 704 704 } 705 705 706 //@@TODO(dmik) 707 //void remove (Menu menu) {708 //super.remove (menu);709 //if (menu == activeMenu) activeMenu = null;710 //}706 707 void remove (Menu menu) { 708 super.remove (menu); 709 if (menu == activeMenu) activeMenu = null; 710 } 711 711 712 712 /**
Note:
See TracChangeset
for help on using the changeset viewer.