Commits

Colin Gordon committed 0796144

results after marking the MenuManger methods safe...

  • Participants
  • Parent commits bac8216

Comments (0)

Files changed (1)

File logviewer/de.anbos.eclipse.logviewer.plugin/src/de/anbos/eclipse/logviewer/plugin/ui/menu/LocalPullDownMenu.java

  */
 
 import guitypes.checkers.quals.*;
-@UIType
 public class LocalPullDownMenu implements IMenuListener {
 
 	// Constant ----------------------------------------------------------------
 		actionList.add(FILELIST);
 	}
 
-	@SafeEffect public void finalize() {
+	public void finalize() {
 		fillMenu(); // Colin Gordon: BUG: finalizers run on their own thread!  Even if fillMenu() doesn't really need to be UI, this is at least bizarre
 	}