Fiji Plugins menu too tall

Squash_Plugins_Menu.groovy

/*
 * Is your Fiji installation's Plugins menu too tall on Linux,
 * where it runs past the bottom of your screen?
 * Here is a hacky script to shrink the font, so that you can
 * fit more items before running out of screen real estate!
 *
 * License: CC0
 */

#@ Float squashFactor (value=0.75f)

import ij.Menus

menubar = Menus.getMenuBar()
pluginsMenu = menubar.getMenu(5)
for (i=0; i<pluginsMenu.getItemCount(); i++) {
    item = pluginsMenu.getItem(i)
    font = item.getFont()
    size = (float) (squashFactor * font.getSize())
    item.setFont(font.deriveFont(size))
}