Method scalePopupMenu

ij/src/main/java/ij/gui/GUI.java:249–267

(final PopupMenu popup)

	}

	@AstroImageJ(reason = "Replace default fonts", modified = true)
	public static void scalePopupMenu(final PopupMenu popup) {
		//System.out.println("scalePopupMenu1: "+popup);
		if (Menus.getFontSize()!=0) {
            popup.setFont(Menus.getFont(false));
			//System.out.println("scalePopupMenu2: "+popup.getFont());
            return;
        }
		final float scale = (float)Prefs.getGuiScale();
		if (scale==1f)
			return;
		Font font=popup.getFont();
		if (font==null)
			font = new Font("Google Sans Flex", Font.PLAIN, (int)(scale*13));
		else
			font = font.deriveFont(scale*font.getSize());
		popup.setFont(font);
		//System.out.println("scalePopupMenu3: "+popup.getFont());
	}
	
	/**
	 * Tries to detect if a Swing component is unscaled and scales it it according